| .. _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 |