mirror of
https://github.com/genodelabs/genode.git
synced 2025-03-03 21:20:41 +00:00
This patch improves the config handling by falling back to a static string (empty "<config />") if no valid config ROM module could be found. This can happen initially, but also at runtime when the ROM module dissapears, e.g., a ROM module accessed via fs_rom where the corresponding file gets unlinked.