A microkernel and its communication with the user space. Taken from Bell, John T. "Operating-System Structures." University of Illinois, Chicago..