From 49bffbfe7ebb8b4469179397ad314ecb6d89ff5f Mon Sep 17 00:00:00 2001
From: Stefan Kalkowski <stefan.kalkowski@genode-labs.com>
Date: Fri, 20 Mar 2015 14:44:12 +0100
Subject: [PATCH] os: enable PIT timer for hw_x86_64 platform

---
 repos/os/lib/mk/hw_x86_64/timer.mk | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 repos/os/lib/mk/hw_x86_64/timer.mk

diff --git a/repos/os/lib/mk/hw_x86_64/timer.mk b/repos/os/lib/mk/hw_x86_64/timer.mk
new file mode 100644
index 000000000..36e437108
--- /dev/null
+++ b/repos/os/lib/mk/hw_x86_64/timer.mk
@@ -0,0 +1,3 @@
+INC_DIR += $(REP_DIR)/src/drivers/timer/include_pit
+
+include $(REP_DIR)/lib/mk/timer.inc