genode/repos/os/lib/mk/spec/foc_rpi/gpio.mk