configs/vexpress-linux-demo.c

   1 /*
   2  * Jailhouse, a Linux-based partitioning hypervisor
   3  *
   4  * Copyright (c) ARM Limited, 2014
   5  *
   6  * Authors:
   7  *  Jean-Philippe Brucker <jean-philippe.brucker@arm.com>
   8  *
   9  * This work is licensed under the terms of the GNU GPL, version 2.  See
  10  * the COPYING file in the top-level directory.
  11  */
  12
  13 #include <linux/types.h>
  14 #include <jailhouse/cell-config.h>
  15
  16 #define ARRAY_SIZE(a) sizeof(a) / sizeof(a[0])
  17
  18 struct {
  19         struct jailhouse_cell_desc cell;
  20         __u64 cpus[1];
  21         struct jailhouse_memory mem_regions[2];
  22         struct jailhouse_irqchip irqchips[1];
  23 } __attribute__((packed)) config = {
  24         .cell = {
  25                 .signature = JAILHOUSE_CELL_DESC_SIGNATURE,
  26                 .name = "linux-demo",
  27                 .flags = JAILHOUSE_CELL_PASSIVE_COMMREG,
  28
  29                 .cpu_set_size = sizeof(config.cpus),
  30                 .num_memory_regions = ARRAY_SIZE(config.mem_regions),
  31                 .num_irqchips = 1,
  32                 .pio_bitmap_size = 0,
  33                 .num_pci_devices = 0,
  34         },
  35
  36         .cpus = {
  37                 0xc,
  38         },
  39
  40         .mem_regions = {
  41                 /* UART 3 */ {
  42                         .phys_start = 0x1c0c0000,
  43                         .virt_start = 0x1c090000,
  44                         .size = 0x10000,
  45                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE |
  46                                 JAILHOUSE_MEM_IO,
  47                 },
  48                 /* RAM load */ {
  49                         .phys_start = 0xa6000000,
  50                         .virt_start = 0x00000000,
  51                         .size = 0x10000000,
  52                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE |
  53                                 JAILHOUSE_MEM_EXECUTE | JAILHOUSE_MEM_LOADABLE,
  54                 },
  55         },
  56
  57         .irqchips = {
  58                 /* GIC */ {
  59                         .address = 0x2f000000,
  60                         .pin_bitmap = 0x0000000000000100,
  61                 },
  62         }
  63 };