Re: DECstation 5000/200 timekeeping

["Maciej W. Rozycki" <macro%orcam.me.uk@localhost>]

On Tue, 26 Oct 2021, Mouse wrote:

> R3000, is that also MIPS3?  I'm having trouble figuring out how that
> works.  sys/arch/pmax/conf/std.pmax says "machine pmax mips".
> sys/arch/mips/conf/files.mips has a bunch of files which are
> conditional on things like mips1, mips3, mips32, mips64, but I have so
> far failed to figure out where any of those are defined.  Looking at
> the kernel build's list of .o files, I can deduce some things about
> what's defined, but not where those definitions come from.

 R3000 is MIPS I aka mips1, a 32-bit ISA.  R4000 is MIPS III aka mips3, a 
64-bit ISA.  Let me know if you need any further details.

 NB I still can't e-mail you directly; perhaps you could whitelist me if 
you care.

  Maciej