mirror of
https://github.com/genodelabs/genode.git
synced 2025-03-17 17:45:19 +00:00
Areas of an attached dataspace which have never been accessed cannot get unmapped. With this patch this case is not treated as error anymore. Fixes #398.