Re: Porting NetBSD to SGI Fuel?

Martin Husemann <[email protected]> Tue, 18 Sep 2018 09:22:18 +0200

Newsgroups	gmane.os.netbsd.ports.sgimips
Message-ID	<[email protected]>

On Tue, Sep 18, 2018 at 04:16:01AM +0900, Naruaki.Etomi wrote:
> >- working mips64 toolchain with hardware FP

We have that.

> >- working r10k family cache code

Don't think we have that fully - I have a O2 with r10k cpu, but it seems
to be dead (not sure if I can revive it).

Martin