Embedded Xinu ported to the Raspberry Pi - View it on GitHub