mirror of
https://github.com/genodelabs/genode.git
synced 2025-05-06 02:28:30 +00:00
Do not set '_mode' per default to MANANGED. Check if a manual config ROM is present during construction and set '_mode' to MANUAL in case it is. issue #4369