git.barrelfish.org Git - barrelfish/blob - 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 }