Subject: Re: ARM ELF toolchain patches
To: David Forbes <david@flossy.u-net.com>
From: Richard Earnshaw <rearnsha@buzzard.freeserve.co.uk>
List: port-arm32
Date: 02/22/2001 22:58:50 
> Question:  what needs to be done to the kernel to get either of these to
> work?  When I first got NetBSD going on my A7000+ I enquired about FPA
> support and I got the impression that either -mhard-float or the modified
> libc would be sufficient.

Does dmesg record anything about the FPU during boot?

(There's some code in the kernel to detect it, but I don't know if it 
runs).

.