Raspberry Pi Development Resources

You are welcome. Here's another thought:

Do you think a bare metal OS will have to start with someone porting the freeRTOS to the Pi?
Seems like someone did some work on this area, not sure to what extent, though.