Develop your own OS kernel by reusing Linux infrastructure - View it on GitHub