1 /* SPDX-License-Identifier: BSD-2-Clause */ 2 /* 3 * Copyright (c) 2021, Arm Limited. All rights reserved. 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 #if (defined(PLATFORM_FLAVOR_tc0) || \ 15 defined(PLATFORM_FLAVOR_tc1) || \ 16 defined(PLATFORM_FLAVOR_tc2)) 17 #ifndef CFG_CORE_SEL2_SPMC 18 #define GIC_BASE 0x30000000 19 #define GICD_OFFSET 0x0 20 #define GICC_OFFSET 0x0 21 #endif 22 23 #define UART0_BASE 0x7FF70000 24 #define UART1_BASE 0x7FF80000 25 26 #define CONSOLE_UART_BASE UART0_BASE 27 28 #define DRAM0_BASE 0x80000000 29 #define DRAM0_SIZE 0x7d000000 30 31 #define DRAM1_BASE 0x8080000000ULL 32 #define DRAM1_SIZE 0x180000000ULL 33 34 #define TZCDRAM_BASE 0xff000000 35 #define TZCDRAM_SIZE 0x01000000 36 37 #else 38 #error "Unknown platform flavor" 39 #endif 40 41 #ifdef GIC_BASE 42 #define GICD_BASE (GIC_BASE + GICD_OFFSET) 43 #define GICC_BASE (GIC_BASE + GICC_OFFSET) 44 #endif 45 46 #define CONSOLE_UART_BAUDRATE 115200 47 #define CONSOLE_UART_CLK_IN_HZ 7372800 48 49 #endif /* PLATFORM_CONFIG_H */ 50