- operatingsystems.io — conference on new directions in operating systems.
Unikernels
-
On rump kernels and the Rumprun unikernel, August 2015.
-
Designing Secure Services with Unikernels: a Tough Nut to Crack — talk by Anil Madhavapeddy [Aug, 2015].
-
Book: The design and implemenation of Anykernel and Rump Kernels
Courses
- Advanced Operating Systems at Virginia.edu
- Writing a simple operating system from scratch by Nick Blundell at University of Birmingham, 2010-11.
Books
History
- The Taos Operating System (1991) - dick pountain’s pages; HN — discussion from ex-employee.
Teaching OSes
- eduOS-rs · eduOS-rs is a Unix-like computer operating system based on a monolithic architecture for educational purposes, which is developed for the course Operating Systems at the RWTH Aachen Univeristy.
Interesting OSes
