2 * Jailhouse, a Linux-based partitioning hypervisor
4 * Test configuration for QEMU Q35 VM, 1 GB RAM, 64 MB hypervisor (-192K ACPI)
7 * For Intel-based setup:
8 * qemu-system-x86_64 -machine q35 -m 1G -enable-kvm -smp 4 \
9 * -drive file=/path/to/image,id=disk,if=none -device ide-hd,drive=disk \
10 * -virtfs local,path=/local/path,security_model=passthrough,mount_tag=host \
11 * -cpu kvm64,-kvm_pv_eoi,-kvm_steal_time,-kvm_asyncpf,-kvmclock,+vmx,+x2apic
13 * For AMD-based setups:
14 * qemu-system-x86_64 /path/to/image -m 1G -enable-kvm -smp 4 \
15 * -virtfs local,path=/local/path,security_model=passthrough,mount_tag=host \
16 * -cpu host,-kvm_pv_eoi,-kvm_steal_time,-kvm_asyncpf,-kvmclock,+svm,+x2apic
18 * Copyright (c) Siemens AG, 2013
21 * Jan Kiszka <jan.kiszka@siemens.com>
23 * This work is licensed under the terms of the GNU GPL, version 2. See
24 * the COPYING file in the top-level directory.
27 #include <linux/types.h>
28 #include <jailhouse/cell-config.h>
30 #define ARRAY_SIZE(a) sizeof(a) / sizeof(a[0])
33 struct jailhouse_system header;
35 struct jailhouse_memory mem_regions[13];
36 struct jailhouse_irqchip irqchips[1];
37 __u8 pio_bitmap[0x2000];
38 struct jailhouse_pci_device pci_devices[8];
39 struct jailhouse_pci_capability pci_caps[5];
40 } __attribute__((packed)) config = {
42 .hypervisor_memory = {
43 .phys_start = 0x3b000000,
46 .platform_info.x86 = {
47 .mmconfig_base = 0xb0000000,
48 .mmconfig_end_bus = 0xff,
49 .pm_timer_address = 0x608,
54 .interrupt_limit = 256,
58 .cpu_set_size = sizeof(config.cpus),
59 .num_memory_regions = ARRAY_SIZE(config.mem_regions),
60 .num_irqchips = ARRAY_SIZE(config.irqchips),
61 .pio_bitmap_size = ARRAY_SIZE(config.pio_bitmap),
62 .num_pci_devices = ARRAY_SIZE(config.pci_devices),
63 .num_pci_caps = ARRAY_SIZE(config.pci_caps),
76 .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE |
77 JAILHOUSE_MEM_EXECUTE | JAILHOUSE_MEM_DMA,
80 .phys_start = 0x3f000000,
81 .virt_start = 0x3f000000,
83 .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE |
84 JAILHOUSE_MEM_EXECUTE | JAILHOUSE_MEM_DMA,
87 .phys_start = 0x3f200000,
88 .virt_start = 0x3f200000,
90 .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE |
91 JAILHOUSE_MEM_EXECUTE | JAILHOUSE_MEM_DMA,
94 .phys_start = 0x3ffdf000,
95 .virt_start = 0x3ffdf000,
97 .flags = JAILHOUSE_MEM_READ,
99 /* MemRegion: fd000000-fdffffff : vesafb */
101 .phys_start = 0xfd000000,
102 .virt_start = 0xfd000000,
104 .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE,
106 /* MemRegion: feb80000-febbffff : 0000:00:02.0 */
108 .phys_start = 0xfeb80000,
109 .virt_start = 0xfeb80000,
111 .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE,
113 /* MemRegion: febc0000-febdffff : e1000 */
115 .phys_start = 0xfebc0000,
116 .virt_start = 0xfebc0000,
118 .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE,
120 /* MemRegion: febe0000-febeffff : 0000:00:01.0 */
122 .phys_start = 0xfebe0000,
123 .virt_start = 0xfebe0000,
125 .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE,
127 /* MemRegion: febf0000-febf3fff : ICH HD audio */
129 .phys_start = 0xfebf0000,
130 .virt_start = 0xfebf0000,
132 .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE,
134 /* MemRegion: febf4000-febf4fff : 0000:00:01.0 */
136 .phys_start = 0xfebf4000,
137 .virt_start = 0xfebf4000,
139 .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE,
141 /* MemRegion: febf5000-febf5fff : ahci */
143 .phys_start = 0xfebf5000,
144 .virt_start = 0xfebf5000,
146 .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE,
148 /* MemRegion: fed00000-fed003ff : PNP0103:00 */
150 .phys_start = 0xfed00000,
151 .virt_start = 0xfed00000,
153 .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE,
155 /* IVSHMEM shared memory region */
157 .phys_start = 0x3f1ff000,
158 .virt_start = 0x3f1ff000,
160 .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE,
166 .address = 0xfec00000,
168 .pin_bitmap = 0xffffff,
173 [ 0/8 ... 0x1f/8] = 0, /* floppy DMA controller */
174 [ 0x20/8 ... 0x3f/8] = -1,
175 [ 0x40/8 ... 0x47/8] = 0xf0, /* PIT */
176 [ 0x48/8 ... 0x5f/8] = -1,
177 [ 0x60/8 ... 0x67/8] = 0xec, /* HACK: NMI status/control */
178 [ 0x68/8 ... 0x6f/8] = -1,
179 [ 0x70/8 ... 0x77/8] = 0xfc, /* rtc */
180 [ 0x78/8 ... 0x7f/8] = -1,
181 [ 0x80/8 ... 0x87/8] = 0xfe, /* port 80 (delays) */
182 [ 0x88/8 ... 0x1c7/8] = -1,
183 [ 0x1c8/8 ... 0x1cf/8] = 0x3f, /* vbe */
184 [ 0x1d0/8 ... 0x1d7/8] = 0xfe, /* vbe */
185 [ 0x1d8/8 ... 0x2f7/8] = -1,
186 [ 0x2f8/8 ... 0x2ff/8] = 0, /* serial2 */
187 [ 0x300/8 ... 0x3af/8] = -1,
188 [ 0x3b0/8 ... 0x3df/8] = 0, /* VGA */
189 [ 0x3e0/8 ... 0x3ef/8] = -1,
190 [ 0x3f0/8 ... 0x3f7/8] = 0, /* floppy */
191 [ 0x3f8/8 ... 0x3ff/8] = -1,
192 [ 0x400/8 ... 0x407/8] = 0xfb, /* invalid but accessed by X */
193 [ 0x408/8 ... 0x5657/8] = -1,
194 [0x5658/8 ... 0x565f/8] = 0xf0, /* vmport */
195 [0x5660/8 ... 0xbfff/8] = -1,
196 [0xc000/8 ... 0xc0ff/8] = 0, /* PCI devices */
197 [0xc100/8 ... 0xffff/8] = -1,
202 .type = JAILHOUSE_PCI_TYPE_DEVICE,
207 .type = JAILHOUSE_PCI_TYPE_DEVICE,
212 .type = JAILHOUSE_PCI_TYPE_DEVICE,
217 .num_msi_vectors = 1,
221 .type = JAILHOUSE_PCI_TYPE_DEVICE,
226 .type = JAILHOUSE_PCI_TYPE_DEVICE,
231 .num_msi_vectors = 1,
235 .type = JAILHOUSE_PCI_TYPE_DEVICE,
239 { /* virtio-9p-pci */
240 .type = JAILHOUSE_PCI_TYPE_DEVICE,
245 .num_msix_vectors = 2,
246 .msix_region_size = 0x1000,
247 .msix_address = 0xfebf6000,
250 .type = JAILHOUSE_PCI_TYPE_IVSHMEM,
254 .num_msix_vectors = 1,
263 .flags = JAILHOUSE_PCICAPS_WRITE,
265 { /* non-cap registers: HDCTL, TCSEL, DCKCTL, DCKSTS */
268 .flags = JAILHOUSE_PCICAPS_WRITE,
280 .flags = JAILHOUSE_PCICAPS_WRITE,
282 { /* virtio-9p-pci */
286 .flags = JAILHOUSE_PCICAPS_WRITE,