Xv6, a simple Unix-like teaching operating system (http://pdos.csail.mit.edu/6.828/2012/xv6.html)