genode/os/include/file_system_session
Josef Söntgen 1c67e3bb43 os: extentend File_system interface with sync RPC
Users of a File_system_session might want to force a file system
to flush or rather to synchronize its internal cache. A concret
default implementation is provided because not all file systems
maintain an internal cache and are not required to synchronize
caches.

Fixes #1007.
2013-12-20 15:20:05 +01:00
..
capability.h Update copyright headers to 2013 2013-01-10 21:44:47 +01:00
client.h os: extentend File_system interface with sync RPC 2013-12-20 15:20:05 +01:00
connection.h File system: Let session quota depend on word size 2013-01-27 18:31:35 +01:00
file_system_session.h os: extentend File_system interface with sync RPC 2013-12-20 15:20:05 +01:00
rpc_object.h Update copyright headers to 2013 2013-01-10 21:44:47 +01:00