genode/repos/base-foc/lib/mk/spec/x86/base-common.mk