Hi !
I'm trying to update my custom kernel, working with short or long descriptor in armv7a to a target supporting armv8.
My current setup uses TTBR0 to point to the PL0 page table and TTBR1 to point to the PL1 page table.
At the moment, I sometimes…