RTOS: ChibiOS/RT jetzt auf dem RP

Seit kurzem gibt es für den Pi auch ein echt schnuckelig
Echtzeitbetriebssystem was eigentlich für viel schwächere Prozessoren
gedacht ist (und dementsprechend einfach aufgebaut): ChibiOS/RT

> http://chibios.org
> http://www.stevebate.net/chibios-rpi/GettingStarted.html
> http://www.raspberrypi.org/phpBB3/viewtopic.php?f=72&t=18875
> http://forum.chibios.org/phpbb/viewtopic.php?f=3&t=517&p=6916#p6914

Ist vielleicht einen Blick wert. Auch auf dem STM32 (Cortex M3) zu
empfehlen.