sel4: add pci SPEC
enables audio driver
This commit is contained in:
parent
6f2f242e42
commit
236b1465d0
|
@ -2,7 +2,7 @@
|
||||||
# Specifics for the seL4 kernel API x86 32 bit
|
# 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/x86_32.mk)
|
||||||
include $(call select_from_repositories,mk/spec/sel4.mk)
|
include $(call select_from_repositories,mk/spec/sel4.mk)
|
||||||
|
|
Loading…
Reference in New Issue
Block a user