genode/os/lib/mk/hw_vea9x4
..
timer.mk