Lecture 26: alternative OS designs

We review a number of alternatives to the conventional monolithic OS kernel design, including microkernels, multikernels, exokernels and library OSs.