ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-06-16 14:18:27 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

usb: enable 64bit support for x86

Browse Source 
Fix #436
This commit is contained in:
Alexander Boettcher
2013-02-27 12:05:44 +01:00
committed by Norman Feske
parent dc814ff0f1
commit 8bc14eb75a
5 changed files with 51 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
dde_linux/lib/mk/x86_32/usb.mk
View File

@ -3,10 +3,5 @@ SRC_C += $(addprefix usb/host/,pci-quirks.c uhci-hcd.c)
include $(REP_DIR)/lib/mk/usb.inc
CC_OPT += -DCONFIG_PCI
INC_DIR += $(LIB_INC_DIR)/x86
INC_DIR += $(LIB_INC_DIR)/x86_32 $(LIB_INC_DIR)/x86
SRC_CC += pci_driver.cc

7
dde_linux/lib/mk/x86_64/usb.mk Normal file
View File

@ -0,0 +1,7 @@
SRC_C += $(addprefix usb/host/,pci-quirks.c uhci-hcd.c)
include $(REP_DIR)/lib/mk/usb.inc
CC_OPT += -DCONFIG_PCI
INC_DIR += $(LIB_INC_DIR)/x86_64 $(LIB_INC_DIR)/x86
SRC_CC += pci_driver.cc