L4Re/departure

Shortlog

(0) +60 +100 +300 tip
2021-02-01 Paul Boddie Made the opener, opener context and file pager resources, introducing the
2021-01-24 Paul Boddie Introduced usage of an opener to obtain a file pager.
2021-01-24 Paul Boddie Added missing file pager files.
2021-01-23 Paul Boddie Introduced mapped file functionality, moving the mmap invocation to the client.
2021-01-23 Paul Boddie Introduced pager, page mapper, pages (page collection), accessor and access map
2021-01-22 Paul Boddie Added missing Control file needed for the build system to notice this directory.
2021-01-21 Paul Boddie Expanded the IPC-related functions, propagating error conditions from flexpage
2021-01-21 Paul Boddie Return a send flexpage with order 0 where the receive size is found to be 0.
2021-01-21 Paul Boddie Moved IPC-related code into a new module.
2021-01-20 Paul Boddie Test usage of a simple pager.
2021-01-19 Paul Boddie Dataspace testing again.
(0) +60 +100 +300 tip