> Michael Engel (firstname.lastname@example.org) writes:
> > Afaik, the physical address space goes from 0x0 to 512 MBytes, so the
> > 0x80030000 should be a virtual address. Or did I get sth. wrong there ?
> Well, yes, but no. Let's stick to 32-bit addresses for now (that
> works even on 64-bit MIPS CPUs):
In fact the R4000 port is using them for now. So far the only addresses
used outside the 4GB 32bit address space are hardware addresses.
The size of the KSEG0 segment of 512mb also limits currently the
maximum addressable RAM space to currently 512mb. I volunter to fix
that immediately if someone borrows me a gig of RAM for testing ;-)