mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-26 14:19:19 +00:00
28f7568e82
On platforms without nic or audio driver support, the corresponding functions to return the correct names should return a meaningful name instead of an empty list. Otherwise, in an erroneous run-script that calls those functions to append names to the boot modules the whole 'bin' directory is appended instead, which leads to big image files or errors when linking the boot modules to core.