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