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