configs/fiasco-demo.c

   1 /*
   2  * Jailhouse, a Linux-based partitioning hypervisor
   3  *
   4  * Configuration for linux inmate, 1 CPU, ~60 MB RAM, 1 serial port
   5  *
   6  * Copyright (c) Siemens AG, 2013-2015
   7  *
   8  * Authors:
   9  *  Jan Kiszka <jan.kiszka@siemens.com>
  10  *
  11  * This work is licensed under the terms of the GNU GPL, version 2.  See
  12  * the COPYING file in the top-level directory.
  13  */
  14
  15 #include <linux/types.h>
  16 #include <jailhouse/cell-config.h>
  17
  18 #define ARRAY_SIZE(a) sizeof(a) / sizeof(a[0])
  19
  20 struct {
  21         struct jailhouse_cell_desc cell;
  22         __u64 cpus[1];
  23         struct jailhouse_memory mem_regions[1];
  24         struct jailhouse_irqchip irqchips[0];
  25         __u8 pio_bitmap[0x2000];
  26         struct jailhouse_pci_device pci_devices[0];
  27 } __attribute__((packed)) config = {
  28         .cell = {
  29                 .signature = JAILHOUSE_CELL_DESC_SIGNATURE,
  30                 .name = "fiasco-demo",
  31                 .flags = 0/*JAILHOUSE_CELL_PASSIVE_COMMREG*/,
  32
  33                 .cpu_set_size = sizeof(config.cpus),
  34                 .num_memory_regions = ARRAY_SIZE(config.mem_regions),
  35                 .num_irqchips = ARRAY_SIZE(config.irqchips),
  36                 .pio_bitmap_size = ARRAY_SIZE(config.pio_bitmap),
  37                 .num_pci_devices = ARRAY_SIZE(config.pci_devices),
  38                 .num_pci_caps = 0,
  39         },
  40
  41         .cpus = {
  42                 0x1,
  43         },
  44
  45         .mem_regions = {
  46                 /* low RAM */ {
  47                         .phys_start = 0x3b600000,
  48                         .virt_start = 0,
  49                         .size = 0x3c00000,
  50                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE |
  51                                 JAILHOUSE_MEM_EXECUTE | JAILHOUSE_MEM_DMA |
  52                                 JAILHOUSE_MEM_LOADABLE,
  53                 },
  54         },
  55
  56         .pio_bitmap = {
  57
  58                 [     0/8 ...   0x3f/8] = -1,
  59                 [  0x20/8 ...   0x28/8] = 0xfc, /* PIC Master 0x20 0x21 */
  60                 [  0x29/8 ...   0x3f/8] = -1,
  61                 [  0x40/8 ...   0x47/8] = 0xf0, /* PIT */
  62                 [  0x48/8 ...   0x5f/8] = -1,
  63                 [  0x60/8 ...   0x67/8] = 0,
  64                 [  0x68/8 ...   0x7f/8] = -1,
  65                 [  0x80/8 ...   0x88/8] = 0xfe, //delay
  66                 [  0x89/8 ...   0x99/8] = -1,
  67                 [  0xA0/8 ...   0xA8/8] = 0xfc, /* PIC Slave 0xA0 0xA1 */
  68                 [ 0xA9/8  ...  0x3f7/8] = -1,
  69                 [ 0x3f8/8 ...  0x3ff/8] = 0, /* serial0 */
  70                 [ 0x400/8 ... 0xe00f/8] = -1,
  71                 [0xe010/8 ... 0xe017/8] = -1, /* OXPCIe952 serial1 */
  72                 [0xe018/8 ... 0xffff/8] = -1,
  73         },
  74 };