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/HEAD/<date>/evbarm-earmhf/binary/sets/ An installation image can be found here: ftp://nyftp.NetBSD.org/pub/NetBSD-daily/H...