2015-08-07 13:35:41 -05:00
|
|
|
.. _microkernel:
|
|
|
|
|
|
|
|
|
|
Microkernel Services
|
|
|
|
|
####################
|
|
|
|
|
|
2015-08-11 12:32:28 -04:00
|
|
|
This section describes the various services provided by the microkernel.
|
|
|
|
|
These services are available in microkernel applications, but not
|
|
|
|
|
nanokernel applications.
|
2015-08-07 13:35:41 -05:00
|
|
|
|
|
|
|
|
.. toctree::
|
|
|
|
|
:maxdepth: 1
|
|
|
|
|
|
|
|
|
|
microkernel_tasks
|
|
|
|
|
microkernel_timers
|
|
|
|
|
microkernel_memory
|
|
|
|
|
microkernel_signaling
|
|
|
|
|
microkernel_data
|
2015-08-11 09:42:45 -04:00
|
|
|
microkernel_task_irqs.rst
|
