Linux Port for DEC Station 3100 ?

[Jochen Behnke <behnke@foo.fh-furtwangen.de>]

Hi,

I read in the Linux/MIPS FAQ that the port for DEC Station 3100
is in progress. In our Labatory we have 4 DEC Stations 3100 and 2
DEC Stations 2100 currently running ULTRIX. We wan't to run Linux
on them if possible. Are the ports for those machines now done ?
Or could you give me the e-mail address of the guy, who is doing
the port so I can ask him myself ?

Thanks a lot.

Jochen