19 lines
401 B
ReStructuredText
19 lines
401 B
ReStructuredText
.. _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_timers
|
|
microkernel_memory
|
|
microkernel_synchronization
|
|
microkernel_data
|
|
microkernel_task_irqs.rst
|