> 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).

NetBSD 1.4 (FLOSSY) #0: Mon Jun 28 22:12:14 BST 1999

david@crowley.our-flat.net:/usr/home/david/netbsd-1.4/src/sys/arch/arm32/com
pile/FLOSSY
real mem  = 25165824
avail mem = 18300928
using 307 buffers containing 1359872 bytes of memory
mainbus0 (root)
cpu0 at mainbus0: ARM710 rev 0 IDC enabled WB enabled EABT
fpe0 at cpu0: Advanced Risc Machines floating point emulator 1.07M
fpe0: FPA11 found

Is this what's required, or do I need to do more work?

Cheers,

David.