This section describes how the kernel multiplexes physical memory. At a later time page revocation and how ExOS implements paging will be added.
