Commodity operating system kernels remain monolithic for practical and historical reasons.
All kernel code shares a single address space, executes with elevated processor privileges …

The need to secure software systems is more important than ever. However, while a lot of
work exists to design and implement secure systems, a fundamental weakness remains …