Hobby OS based on a micro kernel - View it on GitHub