2 * Jailhouse, a Linux-based partitioning hypervisor
4 * Test configuration for Asus H87I-PLUS, 4 GB RAM, 64 MB hypervisor
6 * Copyright (c) Siemens AG, 2013
9 * Jan Kiszka <jan.kiszka@siemens.com>
11 * This work is licensed under the terms of the GNU GPL, version 2. See
12 * the COPYING file in the top-level directory.
15 #include <linux/types.h>
16 #include <jailhouse/cell-config.h>
18 #define ARRAY_SIZE(a) sizeof(a) / sizeof(a[0])
21 struct jailhouse_system header;
23 struct jailhouse_memory mem_regions[9];
24 __u8 pio_bitmap[0x2000];
25 struct jailhouse_pci_device pci_devices[13];
26 } __attribute__((packed)) config = {
28 .hypervisor_memory = {
29 .phys_start = 0x3c000000,
33 .phys_start = 0xcca64000,
39 .cpu_set_size = sizeof(config.cpus),
40 .num_memory_regions = ARRAY_SIZE(config.mem_regions),
42 .pio_bitmap_size = ARRAY_SIZE(config.pio_bitmap),
43 .num_pci_devices = ARRAY_SIZE(config.pci_devices),
56 .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE |
57 JAILHOUSE_MEM_EXECUTE | JAILHOUSE_MEM_DMA,
60 .phys_start = 0x40000000,
61 .virt_start = 0x40000000,
63 .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE |
64 JAILHOUSE_MEM_EXECUTE | JAILHOUSE_MEM_DMA,
67 .phys_start = 0xcca64000,
68 .virt_start = 0xcca64000,
70 .flags = JAILHOUSE_MEM_READ,
73 .phys_start = 0xcca79000,
74 .virt_start = 0xcca79000,
76 .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE |
77 JAILHOUSE_MEM_EXECUTE | JAILHOUSE_MEM_DMA,
80 .phys_start = 0xcf200000,
81 .virt_start = 0xcf200000,
83 .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE |
84 JAILHOUSE_MEM_EXECUTE | JAILHOUSE_MEM_DMA,
87 .phys_start = 0xdf200000,
88 .virt_start = 0xdf200000,
90 .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE,
92 /* yeah, that's not really safe... */
94 .phys_start = 0xfec00000,
95 .virt_start = 0xfec00000,
97 .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE,
99 /* the same here until we catch MSIs via interrupt remapping */
101 .phys_start = 0xfed00000,
102 .virt_start = 0xfed00000,
104 .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE,
107 .phys_start = 0x100000000,
108 .virt_start = 0x100000000,
110 .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE |
111 JAILHOUSE_MEM_EXECUTE | JAILHOUSE_MEM_DMA,
116 [ 0/8 ... 0x1f/8] = -1,
117 [ 0x20/8 ... 0x27/8] = 0xfc, /* HACK: PIC */
118 [ 0x28/8 ... 0x3f/8] = -1,
119 [ 0x40/8 ... 0x47/8] = 0xf0, /* PIT */
120 [ 0x48/8 ... 0x5f/8] = -1,
121 [ 0x60/8 ... 0x67/8] = 0x0, /* HACK: 8042, and more? */
122 [ 0x68/8 ... 0x6f/8] = -1,
123 [ 0x70/8 ... 0x77/8] = 0xfc, /* rtc */
124 [ 0x78/8 ... 0x7f/8] = -1,
125 [ 0x80/8 ... 0x8f/8] = 0, /* dma */
126 [ 0x90/8 ... 0x3af/8] = -1,
127 [ 0x3b0/8 ... 0x3df/8] = 0, /* VGA */
128 [ 0x3e0/8 ... 0xcff/8] = -1,
129 [ 0xd00/8 ... 0xffff/8] = 0, /* HACK: full PCI */
134 .type = JAILHOUSE_PCI_TYPE_DEVICE,
140 .type = JAILHOUSE_PCI_TYPE_BRIDGE,
146 .type = JAILHOUSE_PCI_TYPE_DEVICE,
152 .type = JAILHOUSE_PCI_TYPE_DEVICE,
158 .type = JAILHOUSE_PCI_TYPE_DEVICE,
164 .type = JAILHOUSE_PCI_TYPE_DEVICE,
170 .type = JAILHOUSE_PCI_TYPE_DEVICE,
176 .type = JAILHOUSE_PCI_TYPE_DEVICE,
182 .type = JAILHOUSE_PCI_TYPE_DEVICE,
188 .type = JAILHOUSE_PCI_TYPE_DEVICE,
194 .type = JAILHOUSE_PCI_TYPE_DEVICE,
200 .type = JAILHOUSE_PCI_TYPE_DEVICE,
206 .type = JAILHOUSE_PCI_TYPE_DEVICE,