.. _microkernel:

Microkernel Services
####################

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

.. toctree::
   :maxdepth: 1

   microkernel_tasks
   microkernel_fibers.rst
   microkernel_timers
   microkernel_memory
   microkernel_synchronization
   microkernel_data
   microkernel_task_irqs.rst