L4Re/departure

Graph

(0) +60 +100 +300 tip
Removed superfluous include statement.
Moved method implementation from the header file.
Removed superfluous include statement.
Removed the largely superfluous memory map functionality.
Removed unused header file.
Introduced "host" file access plus testing and related conveniences.
Introduced mapping flags into flexpage abstractions.
Made the opener, opener context and file pager resources, introducing the
Introduced usage of an opener to obtain a file pager.
Added missing file pager files.
Introduced mapped file functionality, moving the mmap invocation to the client.
Introduced pager, page mapper, pages (page collection), accessor and access map
Added missing Control file needed for the build system to notice this directory.
Expanded the IPC-related functions, propagating error conditions from flexpage
Return a send flexpage with order 0 where the receive size is found to be 0.
Moved IPC-related code into a new module.
Test usage of a simple pager.
Dataspace testing again.
(0) +60 +100 +300 tip