config, core: Improve irqchip configuration

[jailhouse.git] / configs / imb-a180.c

diff --git a/configs/imb-a180.c b/configs/imb-a180.c
index eb08c1beea7a95c170f74bec5e0fe29a56d751c7..5d25f5cffc79550dc49c1679f1f5b2e1f4f28163 100644 (file)
--- a/configs/imb-a180.c
+++ b/configs/imb-a180.c
@@ -31,15 +31,18 @@ struct {
        struct jailhouse_pci_capability pci_caps[26];
 } __attribute__((packed)) config = {
        .header = {
+               .signature = JAILHOUSE_SYSTEM_SIGNATURE,
                .hypervisor_memory = {
                        .phys_start = 0x3b000000,
                        .size = 0x4000000,
                },
+               .debug_console = {
+                       .phys_start = 0x3f8,
+               },
                .platform_info.x86 = {
                        .mmconfig_base = 0xe0000000,
                        .mmconfig_end_bus = 0xff,
                        .pm_timer_address = 0x808,
-                       .pm_timer_val_ext = 1
                },
                .root_cell = {
                        .name = "IMB-A180",
@@ -368,7 +371,9 @@ struct {
                /* IOAPIC */ {
                        .address = 0xfec00000,
                        .id = 0x0,
-                       .pin_bitmap = 0xffffff,
+                       .pin_bitmap = {
+                               0xffffff
+                       },
                },
        },