Carlos Damken wrote:

> Hi, I have 3 DECstation 5000/25, and I want to know if is netbsd available 
> for this machines?, and if there is a way to download it, where?

These MIPS-based DEC machines are called the "pmax" port in
NetBSD, so you're after port-pmax, not port-mips.  Have a look
at ftp://ftp.NetBSD.ORG/pub/NetBSD/NetBSD-1.4.1/pmax for the
last formal release for the pmax (1.4.2 should be out any day
now) and ftp://ftp.NetBSD.ORG/pub/NetBSD/arch/pmax/snapshot
for later development versions.  More info can be found on
the pmax page at http://www.NetBSD.org/Ports/pmax/

Simon.