Raspbian - это дистрибутив для Raspberry Pi, построенный на основе Debian Linux, которая является операционной системой общего назначения, а не операционной системой реального времени. Есть способ запустить RTOS на RPi, но это скорее пустая трата мощной платы, такой как RPi. Более подходящим способом достижения поведения в реальном времени было бы использование PREEMPT_RT patch для ядра Linux.