blob: 76a3d4a6100072299b3c44f46d067e0f18148bbf [file] [log] [blame]
/* 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*/