genode/os/lib/mk/hw_arndale/timer.mk
2013-05-22 18:32:05 +02:00

4 lines
120 B
Makefile

INC_DIR += $(REP_DIR)/src/drivers/timer/hw $(REP_DIR)/src/drivers/timer/hw/exynos5
include $(REP_DIR)/lib/mk/timer.inc