2 * Jailhouse, a Linux-based partitioning hypervisor
4 * Copyright (c) ARM Limited, 2014
7 * Jean-Philippe Brucker <jean-philippe.brucker@arm.com>
9 * This work is licensed under the terms of the GNU GPL, version 2. See
10 * the COPYING file in the top-level directory.
13 #include <linux/types.h>
14 #include <jailhouse/cell-config.h>
16 #define ARRAY_SIZE(a) sizeof(a) / sizeof(a[0])
19 struct jailhouse_system header;
21 struct jailhouse_memory mem_regions[8];
22 struct jailhouse_irqchip irqchips[1];
23 } __attribute__((packed)) config = {
25 .signature = JAILHOUSE_SYSTEM_SIGNATURE,
26 .hypervisor_memory = {
27 .phys_start = 0xfc000000,
31 .phys_start = 0x1c090000,
33 .flags = JAILHOUSE_MEM_IO,
36 .name = "VExpress Linux",
38 .cpu_set_size = sizeof(config.cpus),
39 .num_memory_regions = ARRAY_SIZE(config.mem_regions),
50 .phys_start = 0x1a000000,
51 .virt_start = 0x1a000000,
53 .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE |
57 .phys_start = 0x1c020000,
58 .virt_start = 0x1c020000,
60 .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE |
64 .phys_start = 0x1c050000,
65 .virt_start = 0x1c050000,
67 .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE |
71 .phys_start = 0x1c070000,
72 .virt_start = 0x1c070000,
74 .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE |
78 .phys_start = 0x1c060000,
79 .virt_start = 0x1c060000,
81 .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE |
85 .phys_start = 0x1c090000,
86 .virt_start = 0x1c090000,
88 .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE |
91 /* Redistributors (ignore the mmio traps)*/ {
92 .phys_start = 0x2f100000,
93 .virt_start = 0x2f100000,
95 .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE |
99 .phys_start = 0x80000000,
100 .virt_start = 0x80000000,
102 .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE |
103 JAILHOUSE_MEM_EXECUTE,
108 .address = 0x2f000000, /* GIC v2: 0x2f001000 */
111 0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff