02200000-02200fff : 2200000.pcie dbi
02210000-02210fff : 2210000.pcie dbi
02220000-02220fff : 2220000.pcie dbi
09000000-09ffffff : 9000000.ccn ccn@9000000
20200000-20200fff : 20200000.gpio gpio@20200000
20210000-20210fff : 20210000.spi spi@20210000
20220000-2022ffff : 20220000.i2s i2s@20220000
20230000-202300ff : serial
20240000-202400ff : serial
20250000-20250fff : 20250000.i2c i2c@20250000
20260000-20260fff : 20260000.i2c i2c@20260000
202e0000-202effff : 202e0000.mmc mmc@202e0000
2a200000-2a203fff : 2a200000.gpu gpu@2a200000
2c400000-2c4fffff : 2c400000.dwc3 dwc3@2c400000
2c500000-2c5fffff : 2c500000.dwc3 dwc3@2c500000
2c600000-2c60ffff : 2c600000.sata sata@2c600000
2c610000-2c61ffff : 2c610000.sata sata@2c610000
2d000000-2d00ffff : GICD
2d100000-2d2fffff : GICR
30240000-3024ffff : 30240000.ethernet ethernet@30240000
30250000-3025ffff : 30250000.ethernet ethernet@30250000
30260000-30260fff : 30260000.vdu vdu@30260000
30280000-3029ffff : 30280000.hdmi hdmi@30280000
80000000-80ffffff : System RAM
81000000-810bffff : reserved
810c0000-8fffffff : System RAM
90000000-90ffffff : reserved
91000000-fa07efff : System RAM
  df800000-ef7fffff : reserved
  ef930000-f07f3fff : reserved
  f0810000-f269ffff : Kernel code
  f26a0000-f300ffff : reserved
  f3010000-f36fffff : Kernel data
  f5d10000-f9d17fff : reserved
  f9f22000-f9f22fff : reserved
  f9f39000-f9f39fff : reserved
fa07f000-fb07efff : reserved
fb07f000-fda2ffff : System RAM
fda30000-fda3ffff : reserved
fda40000-fdd0ffff : System RAM
fdd10000-fde6ffff : reserved
fde70000-fe2bffff : System RAM
fe2c0000-fe44ffff : reserved
fe450000-fef1ffff : System RAM
  fe480000-fe48ffff : reserved
fef20000-fefaffff : reserved
fefb0000-fefbffff : System RAM
fefc0000-ff0dffff : reserved
ff0e0000-ffffffff : System RAM
880000000-bffffffff : System RAM
  8801da000-8801dafff : reserved
  8801f0000-8801fffff : reserved
  880800000-88080ffff : reserved
  880810000-88081ffff : reserved
  880820000-88082ffff : reserved
  880830000-88083ffff : reserved
  880840000-88084ffff : reserved
  880850000-88085ffff : reserved
  880860000-88086ffff : reserved
  880870000-88087ffff : reserved
  bec540000-bfddfffff : reserved
  bfdea1000-bfdea1fff : reserved
  bfdea2000-bfdfb1fff : reserved
  bfdfb4000-bfdfb5fff : reserved
  bfdfb6000-bfdfb6fff : reserved
  bfdfb7000-bfdfe0fff : reserved
  bfdfe1000-bfe00bfff : reserved
  bfe00c000-bffffffff : reserved
4000000000-400fffffff : 2200000.pcie config
4200000000-423fffffff : pcie@2200000
5000000000-500fffffff : 2210000.pcie config
5200000000-523fffffff : pcie@2210000
6000000000-600fffffff : 2220000.pcie config
6200000000-621fffffff : pcie@2220000
