.. _microkernel_synchronization:

Synchronization Services
########################

This section contains the information about the synchronization services
available in the microkernel.

.. toctree::
   :maxdepth: 2

   microkernel_events
   microkernel_semaphores
   microkernel_mutexes