config, core: Improve irqchip configuration

[jailhouse.git] / configs / jetson-tk1.c

diff --git a/configs/jetson-tk1.c b/configs/jetson-tk1.c
index b3c69efc908ee177ee0c378ffb4890196d47a6dc..c6960c4709c1d1d03ebace33ca22d674d22b6151 100644 (file)
--- a/configs/jetson-tk1.c
+++ b/configs/jetson-tk1.c
@@ -27,11 +27,12 @@ struct {
        struct jailhouse_irqchip irqchips[1];
 } __attribute__((packed)) config = {
        .header = {
+               .signature = JAILHOUSE_SYSTEM_SIGNATURE,
                .hypervisor_memory = {
                        .phys_start = 0xfc000000,
                        .size = 0x4000000 - 0x100000, /* -1MB (PSCI) */
                },
-               .debug_uart = {
+               .debug_console = {
                        .phys_start = 0x70006000,
                        .size = 0x1000,
                        .flags = JAILHOUSE_MEM_IO,
@@ -124,7 +125,10 @@ struct {
        .irqchips = {
                /* GIC */ {
                        .address = 0x50041000,
-                       .pin_bitmap = 0xffffffffffffffff,
+                       .pin_base = 32,
+                       .pin_bitmap = {
+                               0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff
+                       },
                },
        },
 };