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