1/** 2 * \file plat_arm_vm_consts.c 3 * \brief 4 */ 5 6 7/* 8 * Copyright (c) 2016 ETH Zurich. 9 * All rights reserved. 10 * 11 * This file is distributed under the terms in the attached LICENSE file. 12 * If you do not find this file, copies can be found by writing to: 13 * ETH Zurich D-INFK, Universitaetsstrasse 6, CH-8092 Zurich. Attn: Systems Group. 14 */ 15 16#include <kernel.h> 17 18/* RAM starts at 0, provided by the MMAP */ 19lpaddr_t phys_memory_start= 0; 20 21/* 22 * ---------------------------------------------------------------------------- 23 * GIC 24 * ---------------------------------------------------------------------------- 25 */ 26 27// These values are from the APM88xx manual 28//lpaddr_t platform_gic_cpu_interface_base = 0x00000000781e2000; 29//lpaddr_t platform_gic_distributor_base = 0x0000000078121000; 30 31// These values are from linux devicetree file 32lpaddr_t platform_gic_cpu_interface_base = 0x0000000078020000; 33lpaddr_t platform_gic_distributor_base = 0x0000000078010000; 34 35/* 36 * ---------------------------------------------------------------------------- 37 * UART 38 * ---------------------------------------------------------------------------- 39 */ 40 41/* the maximum number of UARTS supported */ 42#define MAX_NUM_UARTS 4 43 44/* the serial console port */ 45unsigned int serial_console_port = 0; 46 47/* the debug console port */ 48unsigned int serial_debug_port = 0; 49 50/* the number of physical ports */ 51unsigned serial_num_physical_ports = 4; 52 53/* uart bases */ 54const lpaddr_t 55platform_uart_base[MAX_NUM_UARTS]= { 56 0x1C020000, 0x1C021000, 0x1C02200, 0x1C023000 57}; 58 59/* uart sizes */ 60const size_t 61platform_uart_size[MAX_NUM_UARTS]= { 62 4096, 4096, 4096, 4096 63}; 64