mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-20 17:52:52 +00:00
The location of the used 'source.list' file is hard-coded and will not work when the ported driver is implemented as a shared library. For this use-case provide means to set the location differently. Issue #4455.