The Departure distribution aims to provide components and libraries to
implement and deliver filesystem access in the L4 Runtime Environment. In
particular, it acts as a research and testing vehicle for implementations of
demand-paged files provided by filesystems.
Topics
Reference topics:
Client Library - convenience functions and structures to access
filesystem objects
Components - server objects exposed at the system level that support
filesystem access
Server Library - abstractions to expose and manage access to filesystem
Mechanism details:
Filesystem Access - mechanisms within filesystem servers to manage
filesystem resources and content
Paging - the mechanism by which filesystem content is provided for use
by client programs
Program Loading - the mechanism by which programs are loaded