SO3 Operating System is a compact, flexible and full featured operating system devoted to be deployed on ARM boards. The github repository gives access to full source code.
(and probably Risc-V in a near future) boards such as Raspberry Pi, Banana Pi, REDS Merida, etc.
Its small memory footprint and its Linux-based environment makes it very easy to deploy and debug.