genode/repos/base-host/lib/mk/platform.mk