JaeOS® -- Just Another Embedded OS
Because the RTOS should be a commodity.
The Raspberry PI Target
The first thing JaeOS has ever run on was a Raspberry PI simulator.
The second was an actual Raspberry PI.
While I do not have any specific plans to build some small embedded system from a RaspBerry PI it was something that I had at home and it was easy to write code for.
JaeOS® is a registered trademark of Andras Zsoter in Canada.