mirror of
https://github.com/genodelabs/genode.git
synced 2025-05-05 18:18:34 +00:00
By now the file system gets mounted and unmounted on demand (whenever the first clients comes along and whenever the last client leaves). As a precaution we now also try to mount and unmounted the file system in the init phase to prevent the first client from failing to its own surprise. Issue #2558.