]> rtime.felk.cvut.cz Git - jailhouse.git/blob - configs/fiasco-demo.c
jailhouse: configs: Change reserved memory layout for jailhouse, so configs have...
[jailhouse.git] / 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[2]; 
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                 /* MemRegion: fec00000-fecfffff : localAPIC */
56                 {
57                         .phys_start = 0xfec00000,
58                         .virt_start = 0xfec00000,
59                         .size = 0x10000,
60                         .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE | JAILHOUSE_MEM_DMA,
61                 },
62         },
63
64         .pio_bitmap = {
65                 
66                 [     0/8 ...   0x3f/8] = -1,
67                 [  0x20/8 ...   0x28/8] = 0xfc, /* PIC Master 0x20 0x21 */
68                 [  0x29/8 ...   0x3f/8] = -1,                   
69                 [  0x40/8 ...   0x47/8] = 0xf0, /* PIT */
70                 [  0x48/8 ...   0x5f/8] = -1,
71                 [  0x60/8 ...   0x67/8] = 0,
72                 [  0x68/8 ...   0x7f/8] = -1,
73                 [  0x80/8 ...   0x88/8] = 0xfe, //delay
74                 [  0x89/8 ...   0x99/8] = -1,
75                 [  0xA0/8 ...   0xA8/8] = 0xfc, /* PIC Slave 0xA0 0xA1 */
76                 [ 0xA9/8  ...  0x3f7/8] = -1,
77                 [ 0x3f8/8 ...  0x3ff/8] = 0, /* serial0 */
78                 [ 0x400/8 ... 0xe00f/8] = -1,
79                 [0xe010/8 ... 0xe017/8] = -1, /* OXPCIe952 serial1 */
80                 [0xe018/8 ... 0xffff/8] = -1,
81         },
82
83
84         // .pci_devices = {
85         //      {
86         //              .type = JAILHOUSE_PCI_TYPE_IVSHMEM,
87         //              .domain = 0x0,
88         //              .bdf = (0x0f<<3),
89         //              .bar_mask = {
90         //                      0xffffff00, 0xffffffff, 0x00000000,
91         //                      0x00000000, 0xffffffe0, 0xffffffff,
92         //              },
93         //              .shmem_region = 3,
94         //              .num_msix_vectors = 1,
95         //      },
96         // },
97 };