configs: fiasco: novabox: Some little changes in configs.

diff --git a/configs/fiasco-demo.c b/configs/fiasco-demo.c
index a775bebc8b5c965143992860f7bae1e4f914f981..f87c91466188209801784d64464707e35485e453 100755 (executable)
--- a/configs/fiasco-demo.c
+++ b/configs/fiasco-demo.c
@@ -39,7 +39,7 @@ struct {
        },
 
        .cpus = {
-               0x1,
+               0b000010,
        },
 
        .mem_regions = {

diff --git a/configs/novabox.c b/configs/novabox.c
index b4e83298f444e3fed1b12a331dae6f5a7193a1d8..fe371ff9aef8b738b6861c09fc5fd4068856eabd 100644 (file)
--- a/configs/novabox.c
+++ b/configs/novabox.c
@@ -47,7 +47,7 @@
 struct {
        struct jailhouse_system header;
        __u64 cpus[1];
-       struct jailhouse_memory mem_regions[45];
+       struct jailhouse_memory mem_regions[47];
        struct jailhouse_irqchip irqchips[1];
        __u8 pio_bitmap[0x2000];
        struct jailhouse_pci_device pci_devices[16];
@@ -64,10 +64,10 @@ struct {
                        .mmconfig_end_bus = 0x3f,
                        .pm_timer_address = 0x408,
 
-                        .iommu_base = {
-                               0xfed90000,
-                               0xfed91000,
-                        },
+                         .iommu_base = {
+                               0xfed90000,
+                               0xfed91000,
+                         },
 
                },
                .device_limit = 128,
@@ -151,6 +151,22 @@ struct {
                        .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE |
                                JAILHOUSE_MEM_EXECUTE | JAILHOUSE_MEM_DMA,
                },
+               //for tinybench
+               {
+                       .phys_start = 0xd9b4e000,
+                       .virt_start = 0xd9b4e000,
+                       .size = 0x59F000,
+                       .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE |
+                               JAILHOUSE_MEM_EXECUTE | JAILHOUSE_MEM_DMA,
+               },
+               {
+                       .phys_start = 0xda113000,
+                       .virt_start = 0xda113000,
+                       .size = 0x61000,
+                       .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE |
+                               JAILHOUSE_MEM_EXECUTE | JAILHOUSE_MEM_DMA,
+               },
+
                /* MemRegion: da174000-da3dbfff : ACPI Non-volatile Storage */
                {
                        .phys_start = 0xda174000,