Hi Julien, > On Nov 1, 2023, at 20:05, Julien Grall <[email protected]> wrote: >>> >>> While debugging an MMU issue on Arm32, I wrote a patch to sprinkle prints >>> in the enable_mmu() code. I will clean-up the patch and send it. >> Just to make sure, your patch is for both Arm32 and Arm64, is my >> understanding correct? > > No it is only for arm32. > >> If it is only for Arm32, do you need me adding the print for Arm64 as well >> in this patch? > > No need. For arm64, we will enable WnX at the same time as the MMU. So we are > already covered by the other prints.
Ok, thanks for the explanation. Kind regards, Henry
