This may have something to do with https://github.com/genodelabs/genode/issues/332 which is still not completely fixed, there is a race between the interrupt thread creation in dde-kit and the driver. Can you try if the attached patch changes anything?
Hi! Thanks for the reply, but unfortunately the patch did not
change anything. Usb still kind of works with debugging enabled and does not with debugging disabled.