On 14 Jun 1997 16:15:50 +1000, Simon Burge <simonb@telstra.com.au> writes:

>Is there any news on the r4k support?  I just noticed a PR from Michael
>from an r4k machine, but other than that things have been a bit quiet.
>Would it be a good guess that all work to date has been with the R4000,
>and not the R4400?

Sean Davidson recently booted a kernel on a DECsystem 3900 with an
r4400 daughterboard (same motherboard and CPU as a DECstation 5000/260).

Expect to see sys/arch/mips with either mips1 or mips3 support really,
*really* soon. Personally, I hope the 1.3 release will allow building
a single kernel with support for both mips1 and mips3. But no promises.