Hello,

     I would like to know how to read the translation table info for A9  from embedded Linux.

     In freeRTOS I have translation_table.S but I do not find anything similar for ARM architecure in linux kernel.

     Should I just dump TTBR0/TTBR1 registers…