Next step on the STM32MP2, now that I have the MMU mostly brought up, is going to be turning on the caches and figuring out how to flush / invalidate cache lines when I'm exchanging data with other cores.
Or maybe it'll be simpler to just add a third level page table and mark some/all of SRAM2 as uncacheable since all of my IPC is happening there?
Either way I need to invalidate and turn the caches on.
I think that's really the last major thing left to do before…