configs: fiasco: Allow memory region 0xfec00000-0xfeefffff.

[jailhouse.git] / configs / fiasco-demo.c

diff --git a/configs/fiasco-demo.c b/configs/fiasco-demo.c
index d2b951cc5d9bc4d12a707ba31e9d2c8ab7882dfb..59bc887223af19baf850776c89383dcec8efaebe 100755 (executable)
--- a/configs/fiasco-demo.c
+++ b/configs/fiasco-demo.c
@@ -20,7 +20,7 @@
 struct {
        struct jailhouse_cell_desc cell;
        __u64 cpus[1];
-       struct jailhouse_memory mem_regions[1]; 
+       struct jailhouse_memory mem_regions[2]; 
        struct jailhouse_irqchip irqchips[1];
        __u8 pio_bitmap[0x2000];
        struct jailhouse_pci_device pci_devices[0];
@@ -73,10 +73,17 @@ struct {
                //      .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE |
                //              JAILHOUSE_MEM_ROOTSHARED,
                // },
+               /* MemRegion: fec00000-feefffff : PNP0103:00 */
+               {
+                       .phys_start = 0xfec00000,
+                       .virt_start = 0xfec00000,
+                       .size = 0x300000,
+                       .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE | JAILHOUSE_MEM_DMA,
+               },
        },
 
        .irqchips = {
-               // IOAPIC
+               // lAPIC
                {
                        .address = 0xfec00000,
                        .id = 0xff01,