genode/os/lib/mk/foc/timer.mk