configs/tiny-demo.c

   1 /*
   2  * Jailhouse, a Linux-based partitioning hypervisor
   3  *
   4  * Minimal configuration for demo inmates, 1 CPU, 1 MB RAM, 1 serial port
   5  *
   6  * Copyright (c) Siemens AG, 2013, 2014
   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[2];
  24         __u8 pio_bitmap[0x2000];
  25 } __attribute__((packed)) config = {
  26         .cell = {
  27                 .name = "tiny-demo",
  28                 .flags = JAILHOUSE_CELL_PASSIVE_COMMREG,
  29
  30                 .cpu_set_size = sizeof(config.cpus),
  31                 .num_memory_regions = ARRAY_SIZE(config.mem_regions),
  32                 .num_irqchips = 0,
  33                 .pio_bitmap_size = ARRAY_SIZE(config.pio_bitmap),
  34                 .num_pci_devices = 0,
  35         },
  36
  37         .cpus = {
  38                 0x4,
  39         },
  40
  41         .mem_regions = {
  42                 /* RAM */ {
  43                         .phys_start = 0x3be00000,
  44                         .virt_start = 0,
  45                         .size = 0x00100000,
  46                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE |
  47                                 JAILHOUSE_MEM_EXECUTE | JAILHOUSE_MEM_LOADABLE,
  48                 },
  49                 /* communication region */ {
  50                         .virt_start = 0x00100000,
  51                         .size = 0x00001000,
  52                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE |
  53                                 JAILHOUSE_MEM_COMM_REGION,
  54                 },
  55         },
  56
  57         .pio_bitmap = {
  58                 [     0/8 ...  0x2f7/8] = -1,
  59                 [ 0x2f8/8 ...  0x2ff/8] = 0, /* serial2 */
  60                 [ 0x300/8 ... 0xdfff/8] = -1,
  61                 [0xe000/8 ... 0xe007/8] = 0, /* OXPCIe952 serial2 */
  62                 [0xe008/8 ... 0xffff/8] = -1,
  63         },
  64 };