configs: Tune memory regions of H87i

ACPI was off by one page, and two regions overlapped, exposing too much
access.

Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>

diff --git a/configs/h87i.c b/configs/h87i.c
index 7dbe89956ce959152a46c0da41f93f165ac2c295..3aeb8418fb1fb9e9826880a211d670a7f3c95526 100644 (file)
--- a/configs/h87i.c
+++ b/configs/h87i.c
@@ -68,15 +68,15 @@ struct {
                                JAILHOUSE_MEM_EXECUTE | JAILHOUSE_MEM_DMA,
                },
                /* ACPI */ {
-                       .phys_start = 0xcca64000,
-                       .virt_start = 0xcca64000,
+                       .phys_start = 0xcca63000,
+                       .virt_start = 0xcca63000,
                        .size = 0x15000,
                        .flags = JAILHOUSE_MEM_READ,
                },
                /* RAM */ {
-                       .phys_start = 0xcca79000,
-                       .virt_start = 0xcca79000,
-                       .size = 0x12787000,
+                       .phys_start = 0xcdfff000,
+                       .virt_start = 0xcdfff000,
+                       .size = 0x1000,
                        .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE |
                                JAILHOUSE_MEM_EXECUTE | JAILHOUSE_MEM_DMA,
                },