XINU OS worked for me. You can work with a beaglebone or a raspberry pi. There is a nice book for explaining every piece of the OS (IO, scheduler, memory manage

XINU OS worked for me. You can work with a beaglebone or a raspberry pi. There is a nice book for explaining every piece of the OS (IO, scheduler, memory management, etc.) and the source code is all there for you to tweak, browse, read or do whatever. HN discussion here: https://news.ycombinator.com/item?id=10643757 https://news.ycombinator.com/item?id=10643757