The Awesome Toy Microkernel (Atomik) - View it on GitHub