From c68bca1f8939294b95f0ad38593fbfad79209c79 Mon Sep 17 00:00:00 2001 From: Alexander Boettcher Date: Tue, 28 Jun 2016 13:58:20 +0200 Subject: [PATCH] sel4: enable PIT timer and PS/2 input Issue #2044 --- repos/base-sel4/mk/spec/sel4_x86_32.mk | 2 +- repos/os/lib/mk/spec/sel4_x86_32/timer.mk | 3 +++ 2 files changed, 4 insertions(+), 1 deletion(-) create mode 100644 repos/os/lib/mk/spec/sel4_x86_32/timer.mk diff --git a/repos/base-sel4/mk/spec/sel4_x86_32.mk b/repos/base-sel4/mk/spec/sel4_x86_32.mk index 7a5732d7fa..28f4105a14 100644 --- a/repos/base-sel4/mk/spec/sel4_x86_32.mk +++ b/repos/base-sel4/mk/spec/sel4_x86_32.mk @@ -2,7 +2,7 @@ # Specifics for the seL4 kernel API x86 32 bit # -SPECS += sel4 x86_32 +SPECS += sel4 x86_32 ps2 include $(call select_from_repositories,mk/spec/x86_32.mk) include $(call select_from_repositories,mk/spec/sel4.mk) diff --git a/repos/os/lib/mk/spec/sel4_x86_32/timer.mk b/repos/os/lib/mk/spec/sel4_x86_32/timer.mk new file mode 100644 index 0000000000..1416a43bae --- /dev/null +++ b/repos/os/lib/mk/spec/sel4_x86_32/timer.mk @@ -0,0 +1,3 @@ +include $(REP_DIR)/lib/mk/timer.inc + +INC_DIR += $(REP_DIR)/src/drivers/timer/include_pit