Very true, but more importantly it is hardware available for donation.  The 
closest thing to it currently listed as "supported" is the 4D/3x (IP12).
-Chaz

>From: Volkmar Seifert <v.seifert@seyecon.de>
>To: tgen@netphreax.net
>CC: Charles Chandler <charles_l_chandler@hotmail.com>, 
>port-sgimips@NetBSD.org
>Subject: Re: sgi hardware donation
>Date: Sat, 03 Jun 2006 20:07:42 +0200
>
>Hello all,
>
> >> We have a 4D/25 (IP6) available in the UK.  Let me know if interested!
> >
> > If memory serves me right those aren't MIPS64. But I'm not sure if it's
> > supported already.
>
>Yes, AFAIK the first 64-bit (SGI-)MIPS-CPUs are the R4k and following.
>
>--
>
>MfG / best regards
>
>Volkmar Seifert
>Senior Consultant
>
>----------------------------+------------------------------
>  sEyeCon IT-Consulting      | Phone : +49-8546-97452-1
>  Schalterner Str. 70        | Fax   : +49-8546-97452-2
>  94034 Passau               | Mobile: +49-171-78 67 331
>  - - - - - - - - - - - - - -+- - - - - - - - - - - - - - -
>  URL: http://www.seyecon.de | eMail: v.seifert@seyecon.de
>  - - - - - - - - - - - - - -+- - - - - - - - - - - - - - -
>  PGP-Key ID: 0x51FA35CD
>  PGP-Fingerprint:
>      5D13 ECEE D6D1 55A5 B9B7 F4D4 E4B1 6E67 51FA 35CD
>-----------------------------------------------------------