genode/repos/base-hw/etc/specs.conf