Hi again,
I installed 13-11-25 with the help of the USB3 expansion card - mouse
and keyboard work.
$ lspci -knn | grep -Ei "usb|hci"
00:02.0 USB controller [0c03]: NVIDIA Corporation MCP61 USB 1.1
Controller [10de:03f1] (rev a3)
Kernel driver in use: ohci-pci
00:02.1 USB controller [0c03]: NVIDIA Corporation MCP61 USB 2.0
Controller [10de:03f2] (rev a3)
Kernel driver in use: ehci-pci
03:00.0 USB controller [0c03]: NEC Corporation uPD720200 USB 3.0 Host
Controller [1033:0194] (rev 03)
Kernel driver in use: xhci_hcd
This lead me to http://bugs.debian.org/726957
Seems it's just the debian-installer is missing ohci-pci. Or rather the
usb-modules are with which d-i's initrd is build.
I could try to rebuild a netboot mini.iso and include the module to
confirm. I'm just not sure yet how to repack that.
And what about other HCIs and PCIs?
Regards
