Q: Dijkstra explicitly states their goals
for the THE operating system. How do these goals compare to, say,
Microsoft's goals for the Windows operating system? Why do we no longer
build operating systems with the same goals as THE?

Q: Microkernels and virtual machine monitors are two different ways to
support the execution of multiple operating systems on modern
hardware. How does the microkernel approach in L4 compare and
constrast with the VMM approach in Xen?

Q: The goal of scheduler activations is to have the benefits of both user
and kernel threads without their limitations. What are the
limitations of user and kernel threads, and what are the benefits that
scheduler activations provide?