*** RAM, ROM and Peripherals used in the hardware architecture
*** Peripherals unused in the hardware architecture
*** Global vsegs used in the boot phase
*** Global vsegs used by the kernel
*** Frame buffer (up to 2 Mbytes)
*** XCU / A[31:28] = 0xE
*** ioc
*** tty
*** DMA / A[31:28] = 0xD
*** Replicated schedulers / A[31:28] = 0xF