Region-map interface

A region map represents a (portion of) a virtual memory address space (Section Region maps). By attaching dataspaces to a region map, the content of those dataspaces becomes visible in the component's virtual address space. Furthermore, a region map can be used as a dataspace. Thereby, the nesting of region maps becomes possible. This allows a component to manage portions of its own virtual address space manually as done for the stack area and linker area (Section PD session interface). The use of region maps as so-called managed dataspaces makes it even possible to manage portions of the virtual address space of other components (Section RM session interface).