mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 20:42:56 +01:00
* Use -device instead of deprecated -usbdevice * Use the same xhci model as in usb_hid_reconnect
* Use -device instead of deprecated -usbdevice * Use the same xhci model as in usb_hid_reconnect