genode/repos/base-foc/mk/spec/foc_odroid_x2.mk