mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-31 08:25:38 +00:00
7de2b040f8
This is needed to enable VFS plugins to notify VFS clients about file changes that depend on the plugin configuration, E.g., whenever the vfs_ttf plugin responds to a font-size change, it generates a watch notification for the glyphs file. Since the change is independent from I/O, we need to manually call 'handle_io_progress'.
This source-code repository contains genuine low-level OS components and interfaces of Genode. It solely depends on the framework's base API.