genode/repos/os/include/vfs
Emery Hemingway 1eb37fbe22 VFS: move 'sync' from 'File_system' to 'Directory_service'
The the parent 'Directory_service' interface is reachable from
'Vfs_handle', whereas the 'File_system' interface is not.

Fix #2437
Ref #2422
2017-06-12 14:32:07 +02:00
..
dir_file_system.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
directory_service.h VFS: move 'sync' from 'File_system' to 'Directory_service' 2017-06-12 14:32:07 +02:00
file_io_service.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
file_system_factory.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
file_system.h VFS: move 'sync' from 'File_system' to 'Directory_service' 2017-06-12 14:32:07 +02:00
single_file_system.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
types.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
vfs_handle.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00