JOS, a exokernel operating system, most used for education.