| /* SPDX-License-Identifier: BSD-2-Clause */ |
| /* |
| * Copyright (c) 2018, Linaro Limited |
| */ |
| |
| #ifndef PLATFORM_CONFIG_H |
| #define PLATFORM_CONFIG_H |
| |
| #include <mm/generic_ram_layout.h> |
| |
| #define STACK_ALIGNMENT 64 |
| |
| #define GIC_BASE 0x30000000 |
| #define GICD_OFFSET 0x0 |
| |
| /* console uart define */ |
| #define UART0_BASE 0x2A400000 |
| #define CONSOLE_UART_BASE UART0_BASE |
| #define CONSOLE_UART_CLK_IN_HZ 62500000 |
| #define CONSOLE_BAUDRATE 115200 |
| |
| #define THERMAL_SENSOR_BASE 0x54190000 |
| #define IT_SEC_TIMER 29 |
| #define TIMER_PERIOD_MS 2 |
| |
| #define DRAM0_BASE 0x80000000 |
| |
| /* Platform specific defines */ |
| #if defined(PLATFORM_FLAVOR_developerbox) |
| #define DRAM0_SIZE 0x80000000 |
| #endif |
| |
| #endif /*PLATFORM_CONFIG_H*/ |