genode/os/lib/mk/epit/timer.mk