paul@clubi.ie wrote:

> Further datapoint: This only appears to happen if you try reboot from 
> a netbooted kernel (userspace on local disk).

Is it 100% reproducible?

> Reboot from a fully 
> disk-hosted netbsd works fine.

It *sometimes* happened even with kernels booted from sd0
on my R5K IP32.

> - only the first 256MB of RAM is recognised

It's current NetBSD/mips spec, which assumes all physical RAM
can be accessed via KSEG0. On IP32, RAM higher than 256MB is
located at 0x20000000 or 0x40000000 so it can't be handled
by the current kernel, and someone has to rewrite mips pmap
to fix it.

> - Pretty unstable, prone to resetting, sometimes leaving:

Maybe it's R10k issue caused by SGI's (silly) hardware design,
but not easy to fix, I guess.
---
Izumi Tsutsui