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[28];
28 } __attribute__((packed)) config = {
30 .signature = JAILHOUSE_SYSTEM_SIGNATURE,
31 .hypervisor_memory = {
32 .phys_start = 0x3b000000,
38 .platform_info.x86 = {
39 .mmconfig_base = 0xf8000000,
40 .mmconfig_end_bus = 0x3f,
41 .pm_timer_address = 0x1808,
53 .interrupt_limit = 256,
57 .cpu_set_size = sizeof(config.cpus),
58 .num_memory_regions = ARRAY_SIZE(config.mem_regions),
59 .num_irqchips = ARRAY_SIZE(config.irqchips),
60 .pio_bitmap_size = ARRAY_SIZE(config.pio_bitmap),
61 .num_pci_devices = ARRAY_SIZE(config.pci_devices),
62 .num_pci_caps = ARRAY_SIZE(config.pci_caps),
75 .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE |
76 JAILHOUSE_MEM_EXECUTE | JAILHOUSE_MEM_DMA,
79 .phys_start = 0x3f000000,
80 .virt_start = 0x3f000000,
82 .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE |
83 JAILHOUSE_MEM_EXECUTE | JAILHOUSE_MEM_DMA,
86 .phys_start = 0xcca63000,
87 .virt_start = 0xcca63000,
89 .flags = JAILHOUSE_MEM_READ,
92 .phys_start = 0xcdfff000,
93 .virt_start = 0xcdfff000,
95 .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE |
96 JAILHOUSE_MEM_EXECUTE | JAILHOUSE_MEM_DMA,
99 .phys_start = 0xcf200000,
100 .virt_start = 0xcf200000,
102 .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE |
103 JAILHOUSE_MEM_EXECUTE | JAILHOUSE_MEM_DMA,
106 .phys_start = 0xdf200000,
107 .virt_start = 0xdf200000,
109 .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE,
111 /* not safe until we catch MSIs via interrupt remapping */
113 .phys_start = 0xfed00000,
114 .virt_start = 0xfed00000,
116 .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE,
119 .phys_start = 0x100000000,
120 .virt_start = 0x100000000,
122 .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE |
123 JAILHOUSE_MEM_EXECUTE | JAILHOUSE_MEM_DMA,
129 .address = 0xfec00000,
138 [ 0/8 ... 0x3f/8] = -1,
139 [ 0x40/8 ... 0x47/8] = 0xf0, /* PIT */
140 [ 0x48/8 ... 0x5f/8] = -1,
141 [ 0x60/8 ... 0x67/8] = 0xec, /* HACK: NMI status/control */
142 [ 0x68/8 ... 0x6f/8] = -1,
143 [ 0x70/8 ... 0x77/8] = 0xfc, /* rtc */
144 [ 0x78/8 ... 0x3af/8] = -1,
145 [ 0x3b0/8 ... 0x3df/8] = 0, /* VGA */
146 [ 0x3e0/8 ... 0xcff/8] = -1,
147 [ 0xd00/8 ... 0xffff/8] = 0, /* HACK: full PCI */
151 /* PCIDevice: 00:00.0 */
153 .type = JAILHOUSE_PCI_TYPE_DEVICE,
160 /* PCIDevice: 00:01.0 */
162 .type = JAILHOUSE_PCI_TYPE_BRIDGE,
168 .num_msi_vectors = 1,
170 /* PCIDevice: 00:02.0 */
172 .type = JAILHOUSE_PCI_TYPE_DEVICE,
178 .num_msi_vectors = 1,
180 /* PCIDevice: 00:03.0 */
182 .type = JAILHOUSE_PCI_TYPE_DEVICE,
188 .num_msi_vectors = 1,
190 /* PCIDevice: 00:14.0 */
192 .type = JAILHOUSE_PCI_TYPE_DEVICE,
198 .num_msi_vectors = 8,
201 /* PCIDevice: 00:16.0 */
203 .type = JAILHOUSE_PCI_TYPE_DEVICE,
209 .num_msi_vectors = 1,
212 /* PCIDevice: 00:19.0 */
214 .type = JAILHOUSE_PCI_TYPE_DEVICE,
220 .num_msi_vectors = 1,
223 /* PCIDevice: 00:1a.0 */
225 .type = JAILHOUSE_PCI_TYPE_DEVICE,
232 /* PCIDevice: 00:1b.0 */
234 .type = JAILHOUSE_PCI_TYPE_DEVICE,
240 .num_msi_vectors = 1,
243 /* PCIDevice: 00:1d.0 */
245 .type = JAILHOUSE_PCI_TYPE_DEVICE,
252 /* PCIDevice: 00:1f.0 */
254 .type = JAILHOUSE_PCI_TYPE_DEVICE,
261 /* PCIDevice: 00:1f.2 */
263 .type = JAILHOUSE_PCI_TYPE_DEVICE,
269 .num_msi_vectors = 1,
271 /* PCIDevice: 00:1f.3 */
273 .type = JAILHOUSE_PCI_TYPE_DEVICE,
283 /* PCIDevice: 00:00.0 */
284 /* PCIDevice: 00:1f.0 */
291 /* PCIDevice: 00:01.0 */
302 .flags = JAILHOUSE_PCICAPS_WRITE,
308 .flags = JAILHOUSE_PCICAPS_WRITE,
316 /* PCIDevice: 00:02.0 */
321 .flags = JAILHOUSE_PCICAPS_WRITE,
327 .flags = JAILHOUSE_PCICAPS_WRITE,
335 /* PCIDevice: 00:03.0 */
340 .flags = JAILHOUSE_PCICAPS_WRITE,
346 .flags = JAILHOUSE_PCICAPS_WRITE,
354 /* PCIDevice: 00:14.0 */
359 .flags = JAILHOUSE_PCICAPS_WRITE,
365 .flags = JAILHOUSE_PCICAPS_WRITE,
367 /* PCIDevice: 00:16.0 */
372 .flags = JAILHOUSE_PCICAPS_WRITE,
378 .flags = JAILHOUSE_PCICAPS_WRITE,
380 /* PCIDevice: 00:19.0 */
385 .flags = JAILHOUSE_PCICAPS_WRITE,
391 .flags = JAILHOUSE_PCICAPS_WRITE,
399 /* PCIDevice: 00:1a.0 */
400 /* PCIDevice: 00:1d.0 */
405 .flags = JAILHOUSE_PCICAPS_WRITE,
419 /* PCIDevice: 00:1b.0 */
424 .flags = JAILHOUSE_PCICAPS_WRITE,
430 .flags = JAILHOUSE_PCICAPS_WRITE,
438 { /* non-cap registers: HDCTL, TCSEL, DCKCTL,DCKSTS */
441 .flags = JAILHOUSE_PCICAPS_WRITE,
443 /* PCIDevice: 00:1f.2 */
448 .flags = JAILHOUSE_PCICAPS_WRITE,
454 .flags = JAILHOUSE_PCICAPS_WRITE,