Re: Latest RaspberryPI image

[Matt Thomas <matt%3am-software.com@localhost>]

On Jan 11, 2013, at 2:39 AM, Stephan wrote:

> 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

No.  NetBSD uses soft float.

There is no support in libc for hard-float yet.