A clone of xv6 used in my class