The GWU advanced OS class dives into the details of trade-offs in the design and implementation of complex code-bases, with a focus on microkernels and hypervisors. This repo includes the syllabus and other organizational aspects of the Advanced OS class.
See the class' information.