mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-23 15:32:25 +00:00
f71e38702f
File systems using the File_system_session interface can now be synchronized by using this syscall. This is needed for file system that maintain an internal cache, which should be flushed. Fixes #1008. |
||
|---|---|---|
| .. | ||
| noux_session | ||
| vmm | ||