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