genode/dde_linux/lib/mk/x86_64/usb.mk

SRC_C   += $(addprefix usb/host/,pci-quirks.c uhci-hcd.c ehci-pci.c)

include $(REP_DIR)/lib/mk/usb.inc

CC_OPT  += -DCONFIG_PCI -DCONFIG_USB_EHCI_PCI=1 -DCONFIG_USB_XHCI_HCD=0
INC_DIR += $(LIB_INC_DIR)/x86_64 $(LIB_INC_DIR)/x86
SRC_CC  += pci_driver.cc
usb: Upgrade to Linux-3.8.6 stack 2013-04-17 15:58:46 +00:00			`SRC_C += $(addprefix usb/host/,pci-quirks.c uhci-hcd.c ehci-pci.c)`
usb: enable 64bit support for x86 Fix #436 2013-02-27 11:05:44 +00:00
			`include $(REP_DIR)/lib/mk/usb.inc`

usb: Upgrade to Linux-3.8.6 stack 2013-04-17 15:58:46 +00:00			`CC_OPT += -DCONFIG_PCI -DCONFIG_USB_EHCI_PCI=1 -DCONFIG_USB_XHCI_HCD=0`
usb: enable 64bit support for x86 Fix #436 2013-02-27 11:05:44 +00:00			`INC_DIR += $(LIB_INC_DIR)/x86_64 $(LIB_INC_DIR)/x86`
			`SRC_CC += pci_driver.cc`