1 /* SPDX-License-Identifier: BSD-2-Clause */ 2 /* 3 * Copyright (c) 2014-2023, Linaro Limited 4 * Copyright (C) 2022-2023 Nuvoton Ltd. 5 */ 6 7 #ifndef PLATFORM_CONFIG_H 8 #define PLATFORM_CONFIG_H 9 10 #include <mm/generic_ram_layout.h> 11 12 /* Make stacks aligned to data cache line length */ 13 #define STACK_ALIGNMENT 64 14 #define DRAM0_BASE 0x00000000 15 #define DRAM0_SIZE 0x40000000 /* 1G DDR */ 16 #define GIC_BASE 0xDFFF8000 17 #define UART0_BASE 0xf0000000 18 #define UART_REG_SIZE 0x100 19 #define CONSOLE_UART_BASE UART0_BASE 20 #define GICD_OFFSET 0x1000 21 #define GICC_OFFSET 0x2000 22 #define GICD_BASE (GIC_BASE + GICD_OFFSET) 23 #define GICC_BASE (GIC_BASE + GICC_OFFSET) 24 25 #endif /*PLATFORM_CONFIG_H*/ 26