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

INC_DIR += $(LIB_INC_DIR)/x86_64 $(LIB_INC_DIR)/x86

include $(REP_DIR)/lib/mk/usb_x86.inc
usb: enable 64bit support for x86 Fix #436 2013-02-27 12:05:44 +01:00			`INC_DIR += $(LIB_INC_DIR)/x86_64 $(LIB_INC_DIR)/x86`
usb: Make host controller types configurable The host controller type (u/e/xhci) usded by the drivers can be configured through attributes of the config node. See: README 2013-05-17 14:40:48 +02:00
usb_drv: XHCI support for x86-architectures USB 3.0 support on x86 (64/32) platforms, as well as pci support for XHCI controllers. Issue #1084 2014-02-14 13:36:21 +01:00			`include $(REP_DIR)/lib/mk/usb_x86.inc`