Feb 20, 2018
– conference on new directions in operating systems.
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].
The design and implemenation of Anykernel and Rump Kernels
Advanced Operating Systems
Writing a simple operating system from scratch
by Nick Blundell at University of Birmingham, 2010-11.
Operating Systems: Three Easy Pieces
The Taos Operating System (1991) - dick pountain’s pages
– discussion from ex-employee.
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.
vygr/ChrysaLisp: Parallel OS, with GUI, Terminal, OO Assembler, Class libraries, C-Script compiler, Lisp interpreter and more…