On Oct 3, 2022, at 2:15 PM, Steve Simon <steve@quintile.net> wrote:
hi,i remember someone found a bug in the usb3 driver for the raspberry pi, but i cannot find it now.anyone remember?also - is 9front the mail list archived somewhere?-Steve