Instructions for building and running RTEMS on the Raspberry Pi

Pierre Ficheux pierre.ficheux at
Mon Apr 8 12:52:14 UTC 2013

A first version of the driver + example application is here:


It blinks ACT led (GPIO 16) and receive input from GPIO 24.


Pierre FICHEUX -/- CTO OW/OS4I, France -\- pierre.ficheux at
I would love to change the world, but they won't give me the source code

More information about the users mailing list