L4Re/departure

Annotated docs/wiki/Departure

395:f7c8fe9d968f
2022-08-12 Paul Boddie Renamed the main page to Departure and changed the page naming convention.
paul@395 1
= Departure =
paul@142 2
paul@395 3
The Departure distribution aims to provide components and libraries to
paul@395 4
implement and deliver filesystem access in the L4 Runtime Environment. In
paul@395 5
particular, it acts as a research and testing vehicle for implementations of
paul@395 6
demand-paged files.
paul@142 7
paul@142 8
== Topics ==
paul@142 9
paul@395 10
 * [[Client Library]] - convenience functions and structures to access
paul@395 11
   filesystem objects
paul@359 12
 * [[Components]] - server objects exposed at the system level that support
paul@359 13
   filesystem access
paul@395 14
 * [[Filesystem Access]] - mechanisms within filesystem servers to manage
paul@395 15
   filesystem resources and content
paul@359 16
 * [[Paging]] - the mechanism by which filesystem content is provided for use
paul@359 17
   by client programs
paul@395 18
 * [[Program Loading]] - the mechanism by which programs are loaded
paul@395 19
 * [[Server Library]] - abstractions to expose and manage access to filesystem
paul@395 20
   objects
paul@183 21
 * [[Users]]