A Unix like microkernel written in C - View it on GitHub