#define CONFIG_EEPROM_BASE 0xdc200000 
#define CONFIG_EEPROM_SIZE 0x00000020
#define CONFIG_IRAM_BASE   0x7e000000 
#define CONFIG_IRAM_SIZE   0x00002000
#define CONFIG_IDMA_BASE   0xd8200000
#define CONFIG_IDMA_SIZE   0x00000020
#define CONFIG_BOOT_BASE   0x00000000 
#define CONFIG_BOOT_SIZE   0x00000200
#define CONFIG_BIOS_BASE   0x84000000
#define CONFIG_BIOS_SIZE   0x00100000
#define CONFIG_MEM_BASE    0x7f000000
#define CONFIG_MEM_SIZE    0x05000000
#define CONFIG_XICU_BASE   0xd2200000
#define CONFIG_XICU_SIZE   0x00001000 
#define CONFIG_DMA_BASE    0xda200000 
#define CONFIG_DMA_SIZE    0x00000020
#define CONFIG_EROM_BASE   0x90000000
#define CONFIG_EROM_SIZE   0x00001000
#define CONFIG_TTY_BASE    0xd0200000
#define CONFIG_TTY_SIZE    0x00000200
#define CONFIG_HALT_BASE   0xd6200000
#define CONFIG_HALT_SIZE   0x00000040
#define CONFIG_SECBUS_BASE 0xd4200000
#define CONFIG_SECBUS_SIZE 0x00000400
#define CONFIG_MB_BASE     0x91000000
#define CONFIG_MB_SIZE     0x01000000
#define CONFIG_RCPT_BASE   0xA0000000
#define CONFIG_RCPT_SIZE   0x00001000
#define CONFIG_FDT_BASE    0xe0000000
#define CONFIG_FDT_SIZE    0x00001000
