genode/base-host/etc
..
specs.conf
tools.conf