Then, NetBSD/mips64. FYI, i believe i have made compat/netbsd32 available for any port wishing to run 32bit binaries in 64bit mode, with a small amount of MD code (see sparc64/sparc64/machdep_netbsd32.c IIRC). let me know how it goes (note that it does not work right now :-)