configs: Add NIC and MMC to VExpress config

These two come at least with the Fast Model of the Versatile Express.

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

diff --git a/configs/vexpress.c b/configs/vexpress.c
index 795b70c0a67930b75fb6382cdb359f358a5851d4..0d7d4a251d861a0940a8060fe8c1f72c8a0cbe9e 100644 (file)
--- a/configs/vexpress.c
+++ b/configs/vexpress.c
@@ -18,7 +18,7 @@
 struct {
        struct jailhouse_system header;
        __u64 cpus[1];
-       struct jailhouse_memory mem_regions[6];
+       struct jailhouse_memory mem_regions[8];
        struct jailhouse_irqchip irqchips[1];
 } __attribute__((packed)) config = {
        .header = {
@@ -40,6 +40,13 @@ struct {
        },
 
        .mem_regions = {
+               /* SMC91x */ {
+                       .phys_start = 0x1a000000,
+                       .virt_start = 0x1a000000,
+                       .size = 0x00001000,
+                       .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE |
+                               JAILHOUSE_MEM_DMA,
+               },
                /* SP810 */ {
                        .phys_start = 0x1c020000,
                        .virt_start = 0x1c020000,
@@ -47,6 +54,13 @@ struct {
                        .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE |
                                JAILHOUSE_MEM_DMA,
                },
+               /* MMC */ {
+                       .phys_start = 0x1c050000,
+                       .virt_start = 0x1c050000,
+                       .size = 0x00001000,
+                       .flags = JAILHOUSE_MEM_READ | JAILHOUSE_MEM_WRITE |
+                               JAILHOUSE_MEM_DMA,
+               },
                /* Mouse */ {
                        .phys_start = 0x1c070000,
                        .virt_start = 0x1c070000,