00001000-00001FFF → 00000000-00000FFF (-1000) O:NCACH I:WB,WA P:RW [ CPU0 only ]
00001000-00001FFF → 00001000-00001FFF ( +0) O:NCACH I:WB,WA P:RW [ CPU1 only ]
00002000-3FFFFFFF → 00002000-3FFFFFFF ( +0) O:NCACH I:WB,WA P:RW [ cacheable RAM - only the first GiB ]
40000000-BFFFFFFF → 40000000-BFFFFFFF ( +0) O:NCACH I:NCACH P:RW [ uncacheable RAM - 2 GiB ]
C0000000-C2FFFFFF → C0000000-C2FFFFFF ( +0) Device P:RW XN [ MMIO area ]
C4000000-C4FFFFFF → C4000000-C4FFFFFF ( +0) Device P:RW XN
C8000000-CAFFFFFF → C8000000-CAFFFFFF ( +0) Device P:RW XN
CC000000-CDFFFFFF → CC000000-CDFFFFFF ( +0) Device P:RW XN
D0000000-D0FFFFFF → D0000000-D0FFFFFF ( +0) Device P:RW XN
D2000000-D2FFFFFF → D2000000-D2FFFFFF ( +0) Device P:RW XN
D4000000-D5FFFFFF → D4000000-D5FFFFFF ( +0) Device P:RW XN
D7000000-D9FFFFFF → D7000000-D9FFFFFF ( +0) Device P:RW XN
DE000000-DEFFFFFF → DE000000-DEFFFFFF ( +0) Device P:RW XN
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:R XN [ ? ]
https://www.magiclantern.fm/forum/index.php?topic=22770.msg212090#msg212090

E0000000 gang1 0x2000000
F0000000 gang2 0x4000000
3CC000 DbgRA1 0x40000
E0040000 boot 0x1680000
E1BE0000 Ring 0x80000
E1E70000 DbgRO1 0x40000
E1EB0000 DbgRO2 0x40000
F09C0000 Rasen 0xC0000
F0A80000 Lens 0x40000
F0B40000 GUI 0x800000
F0AC0000 LENS2 0x40000
F1600000 LENS3 0x280000
F1880000 LENS5 0x80000
F1900000 LENS4 0x1000000\\