genode/repos/dde_rump/lib/mk/spec/arm/rump.mk