00001000-00001FFF → 00000000-00000FFF ( +0) O:NCACH I:WB,WA P:RW [ CPU0 only ]
00001000-00001FFF → 00001000-00001FFF (-1000) O:NCACH I:WB,WA P:RW [ CPU1 only ]
00002000-3FFFFFFF → 00001000-3FFFFFFF ( +0) O:NCACH I:WB,WA P:RW [ cacheable RAM - only the first GiB ]
40000000-BEFFFFFF → 40000000-BEFFFFFF ( +0) O:NCACH I:NCACH P:RW [ uncacheable RAM - 2 GiB ]
BF000000-DEFFFFFF → BF000000-DEFFFFFF ( +0) Device P:RW XN [ MMIO area ]
DF000000-DFFFFFFF → DF000000-DFFFFFFF ( +0) O:NCACH I:WB,WA P:RW [ TCM? ]
E0000000-E7FFFFFF → E0000000-E7FFFFFF ( +0) O:WB,WA I:WB,WA P:R [ main ROM ]
E8000000-EFFFFFFF → E8000000-EFFFFFFF ( +0) Strongly-ordered P:RW XN [ ? ]
F0000000-F7FFFFFF → F0000000-F7FFFFFF ( +0) O:WB,WA I:WB,WA P:R [ secondary ROM ]
F8000000-FFFFFFFF → F8000000-FFFFFFFF ( +0) Strongly-ordered P:R XN [ ? ]
https://www.magiclantern.fm/forum/index.php?topic=24827.msg230859#msg230859

for R6: