Red Echo

October 28, 2011

Microkernel Construction Lecture Notes: a detailed tour of the L4 microkernel, explaining the design decisions and performance constraints.