62fa1541c2312fe9f332e4291c64f8cfed5cfbe3
[barrelfish] / kernel / arch / armv8 / plat_arm_vm_consts.c
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 */
19 lpaddr_t phys_memory_start= 0;
20
21 /*
22  * ----------------------------------------------------------------------------
23  * GIC
24  * ----------------------------------------------------------------------------
25  */
26
27 lpaddr_t platform_gic_distributor_base = 0x2f000000;
28 lpaddr_t platform_gic_redistributor_base = 0x2f100000;
29
30 /*
31  * ----------------------------------------------------------------------------
32  * UART
33  * ----------------------------------------------------------------------------
34  */
35
36 /* the maximum number of UARTS supported */
37 #define MAX_NUM_UARTS 1
38
39 /* the serial console port */
40 unsigned int serial_console_port = 0;
41
42 /* the debug console port */
43 unsigned int serial_debug_port = 0;
44
45 /* the number of physical ports */
46 unsigned serial_num_physical_ports = 1;
47
48 /* uart bases */
49 const lpaddr_t
50 platform_uart_base[MAX_NUM_UARTS]= {
51         0x9000000
52 };
53
54 /* uart sizes */
55 const size_t
56 platform_uart_size[MAX_NUM_UARTS]= {
57     4096
58 };