rump_fs and fs_rom: changed file notification

[Stefan Thöni]

Hello Genodians

We observed that a file changed on a rump_fs read by an fs_rom does not
generate a notification to the client of that ROM session when
written/changed. However, if a ram_fs is used instead of a rump_fs the
notification is received as evidence by sculpt.

Is this behavior expected?

Kind regards
Stefan

-- 
Freundliche Grüsse

Stefan Thöni
Chairman of the Board
Senior Security Architect
+41 79 610 64 95

gapfruit AG
Baarerstrasse 135
6300 Zug
https://gapfruit.com
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0x05D66A288F9939FF.asc
Type: application/pgp-keys
Size: 22911 bytes
Desc: not available
URL: <http://lists.genode.org/pipermail/users/attachments/20190704/ae67b8ea/attachment-0001.key>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: stefan_thoeni.vcf
Type: text/x-vcard
Size: 173 bytes
Desc: not available
URL: <http://lists.genode.org/pipermail/users/attachments/20190704/ae67b8ea/attachment-0001.vcf>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: OpenPGP digital signature
URL: <http://lists.genode.org/pipermail/users/attachments/20190704/ae67b8ea/attachment-0001.sig>