Dear Genodians,
I am currently working on a USB driver. I am wondering if in the `Usb::Interface::Alt_setting` constructor, the parameters `iface.index().number` and `iface.index().alt_setting` are inverted?
According to the `Usb::Device::Urb` constructor, the interface index seems to come second.
If I invert those parameters, the correct interface is selected. Otherwise, the request fails.
Best,
Alice