A modified version of the xv6 kernel used in cs537