On 12/24/14 13:22, kott via freebsd-usb wrote: > This platform is armv7 freebsd10. it does fail in the second usb_pc_cpu_flush > > Did you try booting a freebsd11 kernel? --HPS