OS_MMUControl

On 5.20 IOMD, OS_MMUControl 0 doesn’t seem to let you turn the cache off. I’ve not tested on the Pi to see if it’s IOMD only.

As a consequence, *Cache Off also doesn’t appear to work.

*Cache Off also doesn’t appear to work

Worked fine here when I tried (IOMD 5.20, on a Risc PC, with a StrongARM and an ARM710). By worked I mean F12/turn cache off/enter and watching the desktop redrawing exceptionally slowly.

How odd, just retested on a vanilla boot and it works. Retest after using the machine for a while and it doesn’t work.

I’ve now managed to reproduce it on RO4 as well, so must be some software at fault.