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