Real-time Operating System - microkernel design - View it on GitHub