Re: Latest RaspberryPI image

[Stephan <stephanwib%googlemail.com@localhost>]

How complicated to implement is that?

2013/1/11 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.
>