A rewrite of MIT's XV6 kernel, with some minor modifications.