j'aurais pu, aussi.

-lire les infos du copro MMU
-trouver l'adresse des tables de pages qui s'appelle apparemment TTBR et vaut 0x10538000
...
-profit!