Dann kannst auch gleich TauLabs nehmen. Wir stellen bald auf Chibios um. Ich habe schon mal einen Blink-LED-Kernel gebaut. Bootet sehr schnell . Leider hat der RPi nur eine serielle und die PWM sind fixed. Damit kann man gegenüber anderen Controllern keinen Blumentopf gewinnen.
Im moment würde ich eher den intel edison weg gehen.
immerhin gibt es gleich yocto mit.