Genode has always had issues with interrupts on my desktop computer. This
broke the AHCI and USB drivers, but recent developments have begun to
fix/avoid this problem. While using 18.05/18.08, I discovered that the PS/2
driver worked fine, and later that if I only enabled XHCI, the USB driver
worke
Currently, Sculpt doesn't show my USB flash drive nor accept input from my
wireless mouse until a USB device is removed. When I remove one of the two
USB devices, the other device starts working, and if I then plug the device
back in, it starts working as well. I suspect this issue is due to a
defi
