xv6, a simple Unix-like teaching operating system