A modern, Linux compatible OS kernel - View it on GitHub