The Memory Interface

memory_allocate (number of pages, size, flags) => array of handle ids
memory_deallocate (array of handle ids)

Allocate pages with certain attributes as described by flags.
Contiguous pages
Certain physical address range
May fail if the task does not have enough guaranteed pages

memory_map (array of handle ids) => map item

Requests a map item that can be installed into the task's virtual address space
Unmapping is done using L4's interface

memory_release_data (array of handle ids)

If the pages are marked copy on write, the reference is dropped
Used to reuse pages avoiding a superfluous copy (from logical sharing)