although I have noticed that
memory bank 6 and 7 are disabled on IP35 (Tezro) along with PCI dev 1
(IOC4). Is there any reason for this?
Hard to say without a complete dmesg.
The OpenBSD kernel will recognize all the memory marked as valid by the PROM,
but will only use the lower 16GB of memory for now (support for memory beyond
this limit requires invasive changes). On a Tezro, all the memory ought to be
recognized since this machine can not have more than 16GB; this would hint
that these banks are disabled at the PROM. Nothing an `enableall' won't solve!
As for the IOC4 on the IO9 board, what do you mean by `disabled'? I doubt it
is really disabled, since the operating system console lies beneath it.
Miod