One question: Is hardware floating point enabled? 2013/1/10 Jared D. McNeill <jmcneill%invisible.ca@localhost>: > I've uploaded a new kernel that should resolve many USB related crashes in > the previous image: > http://ftp.netbsd.org/pub/NetBSD/misc/jmcneill/rpi/kernel.img