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 struct jailhouse_irqchip irqchips[1];
25 __u8 pio_bitmap[0x2000];
26 struct jailhouse_pci_device pci_devices[13];
27 struct jailhouse_pci_capability pci_caps[27];
28 } __attribute__((packed)) config = {
30 .hypervisor_memory = {
31 .phys_start = 0x3c000000,
35 .phys_start = 0xcca64000,
38 .platform_info.x86 = {
39 .pm_timer_address = 0x1808,
44 .cpu_set_size = sizeof(config.cpus),
45 .num_memory_regions = ARRAY_SIZE(config.mem_regions),
46 .num_irqchips = ARRAY_SIZE(config.irqchips),
47 .pio_bitmap_size = ARRAY_SIZE(config.pio_bitmap),
48 .num_pci_devices = ARRAY_SIZE(config.pci_devices),
49 .num_pci_caps = ARRAY_SIZE(config.pci_caps),
62 .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE |
63 JAILHOUSE_MEM_EXECUTE | JAILHOUSE_MEM_DMA,
66 .phys_start = 0x40000000,
67 .virt_start = 0x40000000,
69 .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE |
70 JAILHOUSE_MEM_EXECUTE | JAILHOUSE_MEM_DMA,
73 .phys_start = 0xcca63000,
74 .virt_start = 0xcca63000,
76 .flags = JAILHOUSE_MEM_READ,
79 .phys_start = 0xcdfff000,
80 .virt_start = 0xcdfff000,
82 .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE |
83 JAILHOUSE_MEM_EXECUTE | JAILHOUSE_MEM_DMA,
86 .phys_start = 0xcf200000,
87 .virt_start = 0xcf200000,
89 .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE |
90 JAILHOUSE_MEM_EXECUTE | JAILHOUSE_MEM_DMA,
93 .phys_start = 0xdf200000,
94 .virt_start = 0xdf200000,
96 .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE,
98 /* not safe until we catch MSIs via interrupt remapping */
100 .phys_start = 0xfed00000,
101 .virt_start = 0xfed00000,
103 .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE,
106 .phys_start = 0x100000000,
107 .virt_start = 0x100000000,
109 .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE |
110 JAILHOUSE_MEM_EXECUTE | JAILHOUSE_MEM_DMA,
116 .address = 0xfec00000,
117 .pin_bitmap = 0xffffff,
122 [ 0/8 ... 0x3f/8] = -1,
123 [ 0x40/8 ... 0x47/8] = 0xf0, /* PIT */
124 [ 0x48/8 ... 0x5f/8] = -1,
125 [ 0x60/8 ... 0x67/8] = 0x0, /* HACK: 8042, and more? */
126 [ 0x68/8 ... 0x6f/8] = -1,
127 [ 0x70/8 ... 0x77/8] = 0xfc, /* rtc */
128 [ 0x78/8 ... 0x3af/8] = -1,
129 [ 0x3b0/8 ... 0x3df/8] = 0, /* VGA */
130 [ 0x3e0/8 ... 0xcff/8] = -1,
131 [ 0xd00/8 ... 0xffff/8] = 0, /* HACK: full PCI */
135 /* PCIDevice: 00:00.0 */
137 .type = JAILHOUSE_PCI_TYPE_DEVICE,
144 /* PCIDevice: 00:01.0 */
146 .type = JAILHOUSE_PCI_TYPE_BRIDGE,
153 /* PCIDevice: 00:02.0 */
155 .type = JAILHOUSE_PCI_TYPE_DEVICE,
162 /* PCIDevice: 00:03.0 */
164 .type = JAILHOUSE_PCI_TYPE_DEVICE,
171 /* PCIDevice: 00:14.0 */
173 .type = JAILHOUSE_PCI_TYPE_DEVICE,
180 /* PCIDevice: 00:16.0 */
182 .type = JAILHOUSE_PCI_TYPE_DEVICE,
189 /* PCIDevice: 00:19.0 */
191 .type = JAILHOUSE_PCI_TYPE_DEVICE,
198 /* PCIDevice: 00:1a.0 */
200 .type = JAILHOUSE_PCI_TYPE_DEVICE,
207 /* PCIDevice: 00:1b.0 */
209 .type = JAILHOUSE_PCI_TYPE_DEVICE,
216 /* PCIDevice: 00:1d.0 */
218 .type = JAILHOUSE_PCI_TYPE_DEVICE,
225 /* PCIDevice: 00:1f.0 */
227 .type = JAILHOUSE_PCI_TYPE_DEVICE,
234 /* PCIDevice: 00:1f.2 */
236 .type = JAILHOUSE_PCI_TYPE_DEVICE,
243 /* PCIDevice: 00:1f.3 */
245 .type = JAILHOUSE_PCI_TYPE_DEVICE,
255 /* PCIDevice: 00:00.0 */
256 /* PCIDevice: 00:1f.0 */
263 /* PCIDevice: 00:01.0 */
274 .flags = JAILHOUSE_PCICAPS_WRITE,
280 .flags = JAILHOUSE_PCICAPS_WRITE,
288 /* PCIDevice: 00:02.0 */
293 .flags = JAILHOUSE_PCICAPS_WRITE,
299 .flags = JAILHOUSE_PCICAPS_WRITE,
307 /* PCIDevice: 00:03.0 */
312 .flags = JAILHOUSE_PCICAPS_WRITE,
318 .flags = JAILHOUSE_PCICAPS_WRITE,
326 /* PCIDevice: 00:14.0 */
331 .flags = JAILHOUSE_PCICAPS_WRITE,
337 .flags = JAILHOUSE_PCICAPS_WRITE,
339 /* PCIDevice: 00:16.0 */
344 .flags = JAILHOUSE_PCICAPS_WRITE,
350 .flags = JAILHOUSE_PCICAPS_WRITE,
352 /* PCIDevice: 00:19.0 */
357 .flags = JAILHOUSE_PCICAPS_WRITE,
363 .flags = JAILHOUSE_PCICAPS_WRITE,
371 /* PCIDevice: 00:1a.0 */
372 /* PCIDevice: 00:1d.0 */
377 .flags = JAILHOUSE_PCICAPS_WRITE,
391 /* PCIDevice: 00:1b.0 */
396 .flags = JAILHOUSE_PCICAPS_WRITE,
402 .flags = JAILHOUSE_PCICAPS_WRITE,
410 /* PCIDevice: 00:1f.2 */
415 .flags = JAILHOUSE_PCICAPS_WRITE,
421 .flags = JAILHOUSE_PCICAPS_WRITE,