genode/repos/base-nova/mk/spec/nova_x86_64.mk