1 /* SPDX-License-Identifier: BSD-2-Clause */ 2 /* 3 * Copyright (c) 2020 Carlo Caione <ccaione@baylibre.com> 4 */ 5 6 #ifndef PLATFORM_CONFIG_H 7 #define PLATFORM_CONFIG_H 8 9 #include <mm/generic_ram_layout.h> 10 11 /* Make stacks aligned to data cache line length */ 12 #define STACK_ALIGNMENT 64 13 14 #define GIC_BASE 0xFFC01000 15 #define GICC_OFFSET 0x2000 16 #define GICD_OFFSET 0x1000 17 18 #define CONSOLE_UART_BASE 0xFF803000 19 20 #endif /*PLATFORM_CONFIG_H*/ 21