armv8: Start with all interrupts disabled
[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 #include <arch/arm/platform.h>
18
19 /* RAM starts at 0, provided by the MMAP */
20 lpaddr_t phys_memory_start= 0;
21
22 /*
23  * ----------------------------------------------------------------------------
24  * GIC
25  * ----------------------------------------------------------------------------
26  */
27
28 lpaddr_t platform_gic_distributor_base = 0x2f000000;
29 lpaddr_t platform_gic_redistributor_base = 0x2f100000;
30
31 /*
32  * ----------------------------------------------------------------------------
33  * UART
34  * ----------------------------------------------------------------------------
35  */
36
37 /* the maximum number of UARTS supported */
38 #define MAX_NUM_UARTS 1
39
40 /* the serial console port */
41 unsigned int serial_console_port = 0;
42
43 /* the debug console port */
44 unsigned int serial_debug_port = 0;
45
46 /* the number of physical ports */
47 unsigned serial_num_physical_ports = 1;
48
49 /* uart bases */
50 lpaddr_t platform_uart_base[MAX_NUM_UARTS]= {
51         0x9000000
52 };
53
54 /* uart sizes */
55 size_t platform_uart_size[MAX_NUM_UARTS]= {
56     4096
57 };
58
59 uint32_t platform_get_timer_interrupt(void){
60     return 30;
61 }