On 2018-09-15, Mikko Laine <[email protected]> wrote: > Stuart Henderson <[email protected]> wrote: > >> To have a chance of working, you will need to use a kernel with xhci >> disabled. It might need more than that as well. To test, "boot -c" at >> the boot prompt, "disable xhci", "quit", You can modify an on-disk >> kernel with "config -ef /bsd", or build your own with this diff. > > Upon entering the UKC with boot -c, my input devices stop working and I > cannot try disabling xhci this way. > > I have a way to disable xhci once and for all in the BIOS, but this will > affect my input devices (USB) and make the box useless for my purposes. > > Thanks for your reply.
In that case, modify the kernel on-disk with config -ef (and keep a copy of the standard kernel that you can boot in case of problems). Usually a USB2 driver will attach instead. The problem is that OpenBSD doesn't support isochronous transfers on XHCI yet.

