1 /* SPDX-License-Identifier: BSD-2-Clause */ 2 /* 3 * Copyright (c) 2021, Aspeed Technology Inc. 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_ast2600) 15 #define GIC_BASE 0x40460000 16 #define GICC_OFFSET 0x2000 17 #define GICD_OFFSET 0x1000 18 19 #define AHBC_BASE 0x1e600000 20 #define SCU_BASE 0x1e6e2000 21 #define UART5_BASE 0x1e784000 22 23 #define CONSOLE_UART_BASE UART5_BASE 24 #define CONSOLE_BAUDRATE 115200 25 #define CONSOLE_UART_CLK_IN_HZ 1846153 26 #elif defined(PLATFORM_FLAVOR_ast2700) 27 #define GICD_BASE 0x12200000 28 #define GICR_BASE 0x12280000 29 #define GICR_SIZE 0x100000 30 31 #define UART_BASE 0x14c33000 32 #define UART12_BASE (UART_BASE + 0xb00) 33 34 #define CONSOLE_UART_BASE UART12_BASE 35 #define CONSOLE_BAUDRATE 115200 36 #define CONSOLE_UART_CLK_IN_HZ 1846153 37 #else 38 #error "Unknown platform flavor" 39 #endif 40 41 #endif /*PLATFORM_CONFIG_H*/ 42