Microkernel Services

This section describes the various services provided by the microkernel. These services are available in microkernel applications, but not nanokernel applications.