Common Kernel Services

This section describes kernel services that are provided in both microkernel applications and nanokernel applications.