Operating Systems
Created:
- 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.