Macro- vs. Micro- Kernels Matthew Fluet CS614 – Advanced Systems April 5, 2001.
Distributed Systems CS 15-440 Virtualization- Overview Lecture 22, Dec 4, 2013 Mohammad Hammoud 1.