Implementation of the core of an exokernel-style operating system, called JOS (JOS was developed for MIT's 6.828 and has been used in courses at several other schools, including NYU)