1 /* SPDX-License-Identifier: BSD-2-Clause */ 2 /* 3 * Copyright (c) 2017, Schneider Electric 4 * Copyright (c) 2020, Linaro Limited 5 */ 6 7 #ifndef PLATFORM_CONFIG_H 8 #define PLATFORM_CONFIG_H 9 10 #include <mm/generic_ram_layout.h> 11 12 /* DRAM */ 13 #define DRAM_BASE 0x80000000 14 #define DRAM_SIZE 0x10000000 15 16 /* GIC */ 17 #define GIC_BASE 0x44100000 18 #define GICD_OFFSET 0x1000 19 #define GICC_OFFSET 0x2000 20 #define GICD_BASE (GIC_BASE + GICD_OFFSET) 21 #define GICC_BASE (GIC_BASE + GICC_OFFSET) 22 23 /* Peripheral memory map */ 24 #define PERIPH_REG_BASE 0x40000000 25 26 /* System Control */ 27 #define SYSCTRL_BASE 0x4000C000 28 29 /* UART */ 30 #define CONSOLE_UART_BASE 0x40060000 31 32 #endif /* PLATFORM_CONFIG_H */ 33