This section contains the information about the memory management services available in the microkernel.