the Processor local memory, so that should provide a speed up.
Currently DMA won't work, as we only tell the kernel about the kinetic
memory, and exclude the motherboard memory. I'll look at fixing this over
the weekend.
Add support for kernels > 4MiB. The -current INSTALL kernel has now hit
25KiB over 4MiB and we were only adding L1 mappings for 4MiB.
Also added lots of tracing which I used to work out what boot32 was doing,
and so what the kernel was meant to be doing. This is disabled by default.
Out of paranoia also become a client of all domains before setting the ttb,
just in case RISC-OS ever decides to use domains.
All of this has been tested on my Kinetic Risc-PC. I've carried out a full
install onto it, and hope to use it for testing out the interrupt work I've
been doing.
be877f2c8a