mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 12:32:56 +01:00
For some reason 'os/config.h' is imported through 'launchpad.h', when linking an
undefined symbol ('Genode::config') is produced, which actually should not
happen.