| .. _microkernel_memory: | |
| Memory Management Services | |
| ########################## | |
| This section contains the information about the memory management services available in the | |
| microkernel. | |
| .. toctree:: | |
| :maxdepth: 2 | |
| microkernel_memory_maps | |
| microkernel_memory_pools |