1 /* SPDX-License-Identifier: BSD-2-Clause */
2 /*
3  * Copyright (C) 2016-2018 Texas Instruments Incorporated - http://www.ti.com/
4  *	Andrew F. Davis <afd@ti.com>
5  */
6 
7 #ifndef PLATFORM_CONFIG_H
8 #define PLATFORM_CONFIG_H
9 
10 #include <mm/generic_ram_layout.h>
11 
12 #define UART0_BASE      0x02800000
13 
14 #define CONSOLE_UART_BASE       (UART0_BASE + CFG_CONSOLE_UART * 0x10000)
15 #define CONSOLE_BAUDRATE        115200
16 #define CONSOLE_UART_CLK_IN_HZ  48000000
17 
18 #define SCU_BASE        0x01800000
19 #if defined(PLATFORM_FLAVOR_j721e)
20 #define GICC_OFFSET     0x100000
21 #define GICC_SIZE       0x100000
22 #define GICD_OFFSET     0x0
23 #define GICD_SIZE       0x10000
24 #else
25 #define GICC_OFFSET     0x80000
26 #define GICC_SIZE       0x90000
27 #define GICD_OFFSET     0x0
28 #define GICD_SIZE       0x10000
29 #endif
30 #define GICC_BASE       (SCU_BASE + GICC_OFFSET)
31 #define GICD_BASE       (SCU_BASE + GICD_OFFSET)
32 
33 /* Make stacks aligned to data cache line length */
34 #define STACK_ALIGNMENT		64
35 
36 #endif /*PLATFORM_CONFIG_H*/
37