1 /* SPDX-License-Identifier: BSD-2-Clause */ 2 /* 3 * Copyright (c) 2018, Linaro Limited 4 */ 5 6 #ifndef PLATFORM_CONFIG_H 7 #define PLATFORM_CONFIG_H 8 9 #include <mm/generic_ram_layout.h> 10 11 #define STACK_ALIGNMENT 64 12 13 #define GIC_BASE 0x30000000 14 #define GICD_OFFSET 0x0 15 16 /* console uart define */ 17 #define UART0_BASE 0x2A400000 18 #define CONSOLE_UART_BASE UART0_BASE 19 #define CONSOLE_UART_CLK_IN_HZ 62500000 20 #define CONSOLE_BAUDRATE 115200 21 22 #define THERMAL_SENSOR_BASE 0x54190000 23 #define IT_SEC_TIMER 29 24 #define TIMER_PERIOD_MS 2 25 26 #define DRAM0_BASE 0x80000000 27 28 /* Platform specific defines */ 29 #if defined(PLATFORM_FLAVOR_developerbox) 30 #define DRAM0_SIZE 0x80000000 31 #endif 32 33 #endif /*PLATFORM_CONFIG_H*/ 34