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