Matt Thomas wrote:
> 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.
Good.  What I will do is go ahead and commit *that* change seperately,
and then commit the PCI code which depends on it after I have changed
it. :-)

Any objections (Simon?)  Speak up now, please!

-- 
Garrett D'Amore, Principal Software Engineer
Tadpole Computer / Computing Technologies Division,
General Dynamics C4 Systems
http://www.tadpolecomputer.com/
Phone: 951 325-2134  Fax: 951 325-2191