Interprocess Communication & the L4 Microkernel

摘要

A microkernel is an operating-system architecture that provides a small set of basic system calls that implement the core of the OS's functionality (usually including such things as thread management and address spaces), leaving more complex abstractions like networking to other programs called servers. A microkernel architecture sits in contrast to a monolithic kernel architecture, which rolls more of the OS's functionality into a larger kernel.