Garrett D'Amore wrote:

> The MIPS64 stuff is going to be a problem, I think, almost no matter
> what.  I cannot see that evbmips can properly encompass both a 64-bit
> and a 32-bit kernel.  (Note that this is different than the 64-bit
> part running in 32-bit compatibility mode.)

mips64 will need a separate machine_arch.

> So can I take this as approval to go ahead and make that change, so
> that paddr_t is 64-bits on all evbmips?

Yes.
-- 
Matt Thomas                     email: matt@3am-software.com
3am Software Foundry              www: http://3am-software.com/bio/matt/
Cupertino, CA              disclaimer: I avow all knowledge of this message.