Xv6, a simple Unix-like teaching operating system