struct jailhouse_irqchip irqchips[1];
} __attribute__((packed)) config = {
.header = {
+ .signature = JAILHOUSE_SYSTEM_SIGNATURE,
.hypervisor_memory = {
.phys_start = 0xfc000000,
.size = 0x4000000,
},
- .debug_uart = {
+ .debug_console = {
.phys_start = 0x1c090000,
.size = 0x1000,
.flags = JAILHOUSE_MEM_IO,
.irqchips = {
/* GIC */ {
.address = 0x2f000000,
- .pin_bitmap = 0xffffffffffffffff,
+ .pin_base = 32,
+ .pin_bitmap = {
+ 0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff
+ },
},
},