A modular, x86_64 micro-kernel operating system - View it on GitHub