Recently NetBSD's autobuild was updated to build NetBSD for Raspberry Pi with hardware floating point support. New sets can be found here:
ftp://nyftp.NetBSD.org/pub/NetBSD-daily ... nary/sets/
An installation image can be found here:
ftp://nyftp.NetBSD.org/pub/NetBSD-daily ... rpi.img.gz
And a preinstalled OS image can be found here:
ftp://nyftp.NetBSD.org/pub/NetBSD-daily ... nst.img.gz
<date> changes. Right now the latest is 201310041500Z. I can't imagine why we don't have symlinks, but that's another matter. Enjoy!