]> rtime.felk.cvut.cz Git - jailhouse.git/blobdiff - configs/vexpress.c
config, core: Improve irqchip configuration
[jailhouse.git] / configs / vexpress.c
index cb8387b81f8c92dffb22b2ed95f6739004866c33..3caf3093ab13639a33d5e86239bd0338e64c376d 100644 (file)
@@ -22,10 +22,16 @@ struct {
        struct jailhouse_irqchip irqchips[1];
 } __attribute__((packed)) config = {
        .header = {
+               .signature = JAILHOUSE_SYSTEM_SIGNATURE,
                .hypervisor_memory = {
                        .phys_start = 0xfc000000,
                        .size = 0x4000000,
                },
+               .debug_console = {
+                       .phys_start = 0x1c090000,
+                       .size = 0x1000,
+                       .flags = JAILHOUSE_MEM_IO,
+               },
                .root_cell = {
                        .name = "VExpress Linux",
 
@@ -100,7 +106,10 @@ struct {
        .irqchips = {
                /* GIC */ {
                        .address = 0x2f000000,
-                       .pin_bitmap = 0xffffffffffffffff,
+                       .pin_base = 32,
+                       .pin_bitmap = {
+                               0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff
+                       },
                },
        },