-struct {
- struct jailhouse_cell_desc cell;
- __u64 cpus[1];
- struct jailhouse_memory mem_regions[1];
- struct jailhouse_irqchip irqchips[0];
- __u8 pio_bitmap[0x2000];
- struct jailhouse_pci_device pci_devices[0];
-} __attribute__((packed)) config = {
- .cell = {
- .signature = JAILHOUSE_CELL_DESC_SIGNATURE,
- .name = "fiasco-demo",
- .flags = 0/*JAILHOUSE_CELL_PASSIVE_COMMREG*/,
+ struct {
+ struct jailhouse_cell_desc cell;
+ __u64 cpus[1];
+ struct jailhouse_memory mem_regions[1];
+ struct jailhouse_irqchip irqchips[0];
+ struct jailhouse_cache cache_regions[1];
+ __u8 pio_bitmap[0x2000];
+ struct jailhouse_pci_device pci_devices[0];
+ } __attribute__((packed)) config = {
+ .cell = {
+ .signature = JAILHOUSE_CELL_DESC_SIGNATURE,
+ .name = "fiasco-demo",
+ .flags = 0/*JAILHOUSE_CELL_PASSIVE_COMMREG*/,