genode/tool/builddir/etc/build.conf.hw_vea9x4_tz