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 #else
27 #error "Unknown platform flavor"
28 #endif
29 
30 #endif /*PLATFORM_CONFIG_H*/
31