On Thu, Feb 29, 2024 at 09:34:49AM +0100, Javier Carrasco wrote: > The onboard_usb_hub driver has been updated to support non-hub devices, > which has led to some renaming. Update to the new name accordingly. > > Update to the new name (ONBOARD_USB_DEV) accordingly. > > Signed-off-by: Javier Carrasco <[email protected]>
Reviewed-by: Matthias Kaehlcke <[email protected]>
