From 236b1465d0c3df3576f5a98aa94f7045e3ef4bf0 Mon Sep 17 00:00:00 2001 From: Alexander Boettcher Date: Fri, 26 Aug 2016 10:43:37 +0200 Subject: [PATCH] sel4: add pci SPEC enables audio driver --- repos/base-sel4/mk/spec/sel4_x86_32.mk | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/repos/base-sel4/mk/spec/sel4_x86_32.mk b/repos/base-sel4/mk/spec/sel4_x86_32.mk index 72e22c649e..c28cda6d43 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 ps2 vesa framebuffer +SPECS += sel4 x86_32 ps2 vesa framebuffer pci include $(call select_from_repositories,mk/spec/x86_32.mk) include $(call select_from_repositories,mk/spec/sel4.mk)