A simple OS kernel for research, teaching, and fun. - View it on GitHub