On Thu, 10 Apr 2014, Miod Vallat wrote:
Date: Thu, 10 Apr 2014 12:10:41 +0000 (UTC)
From: Miod Vallat <miod@xxxxxxxxx>
To: linux-mips@xxxxxxxxxxxxxx
Subject: Re: arch/mips/sgi-ip22/Platform:29: *** gcc doesn't support needed
option -mr10k-cache-barrier=store. Stop.
Odd, I thought R10K systems were locked to booting 64-bit kernels only. At
least the Octane was when it was bootable. Not sure about IP27.
The Octane needs a 64-bit ARCS and kernel only because none of its
physical memory is addressable with KSEG0/KSEG1.
The same holds for IP28. Apparently SGI prepared it for the 128MB SIMMS
(banks of 512MB) yet to come.
IP26 (R8000) is not supported in Linux. I think OpenBSD got it
working, though.
For some very limited value of working (it boots single-user but does not
last long due to page table corruption).
Miod
kind regards
