Operating Systems

• operatingsystems.io -- conference on new directions in operating systems.

Unikernels

• On rump kernels and the Rumprun unikernel, August 2015.

• Just-in-Time Summoning of Unikernels

• 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

• Operating Systems: Three Easy Pieces

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

• vygr/ChrysaLisp: Parallel OS, with GUI, Terminal, OO Assembler, Class libraries, C-Script compiler, Lisp interpreter and more...