2 * Jailhouse, a Linux-based partitioning hypervisor
4 * Copyright (c) Siemens AG, 2014
6 * This work is licensed under the terms of the GNU GPL, version 2. See
7 * the COPYING file in the top-level directory.
9 * Configuration for ${product[0]} ${product[1]}
10 * created with '${argstr}'
12 * NOTE: This config expects the following to be appended to your kernel cmdline
13 * "memmap=${hex(ourmem[1])}$${hex(ourmem[0])}"
16 #include <linux/types.h>
17 #include <jailhouse/cell-config.h>
19 #define ARRAY_SIZE(a) sizeof(a) / sizeof(a[0])
22 struct jailhouse_system header;
23 __u64 cpus[${int((cpucount + 63) / 64)}];
24 struct jailhouse_memory mem_regions[${len(regions)}];
25 struct jailhouse_irqchip irqchips[1];
26 __u8 pio_bitmap[0x2000];
27 struct jailhouse_pci_device pci_devices[${len(pcidevices)}];
28 struct jailhouse_pci_capability pci_caps[${len(pcicaps)}];
29 } __attribute__((packed)) config = {
31 .hypervisor_memory = {
32 .phys_start = ${hex(hvmem[0])},
33 .size = ${hex(hvmem[1])},
36 .phys_start = ${hex(confmem[0])},
37 .size = ${hex(confmem[1])},
39 .platform_info.x86 = {
40 .pm_timer_address = ${hex(pm_timer_base)},
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),
54 % for n in range(int(cpucount / 64)):
58 ${'0x%016x,' % ((1 << (cpucount % 64)) - 1)}
65 % for c in r.comments:
69 .phys_start = ${hex(r.start)},
70 .virt_start = ${hex(r.start)},
71 .size = ${hex(r.size())},
72 .flags = ${r.flagstr('\t\t')},
79 .address = 0xfec00000,
80 .id = ${hex(ioapic_id)},
81 .pin_bitmap = 0xffffff,
86 [ 0/8 ... 0x3f/8] = -1,
87 [ 0x40/8 ... 0x47/8] = 0xf0, /* PIT */
88 [ 0x48/8 ... 0x5f/8] = -1,
89 [ 0x60/8 ... 0x67/8] = 0, /* HACK: 8042, NMI status/control */
90 [ 0x68/8 ... 0x6f/8] = -1,
91 [ 0x70/8 ... 0x77/8] = 0xfc, /* RTC */
92 [ 0x78/8 ... 0x3af/8] = -1,
93 [ 0x3b0/8 ... 0x3df/8] = 0x00, /* VGA */
94 [ 0x3e0/8 ... 0xcff/8] = -1,
95 [ 0xd00/8 ... 0xffff/8] = 0, /* HACK: PCI bus */
99 % for d in pcidevices:
103 .domain = ${hex(d.domain)},
104 .bus = ${hex(d.bus)},
105 .devfn = ${hex(d.devfn())},
106 .caps_start = ${d.caps_start},
107 .num_caps = ${d.num_caps},
114 % for comment in c.comments:
119 .start = ${hex(c.start)},