L4Re/departure

Graph

(0) +60 +100 +300 tip
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