Re: srs/s/umips.h

[Richard Stallman]

    > It was the operating system of Mips machines, in the 80s I suppose,
    > before Mips was acquired by SGI.

    Is that the same as RISC/os?  That would fit in the time frame.

I don't think I would have called the file umips if the system
were called RISC/os.  So either they changed the name of the system
and a new file was contributed, or umips is some older system.