config, core: Improve irqchip configuration

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

diff --git a/configs/imb-a180.c b/configs/imb-a180.c
index ffcd5c782a64d1158c2dbf6186fc72b91e95714f..5d25f5cffc79550dc49c1679f1f5b2e1f4f28163 100644 (file)
--- a/configs/imb-a180.c
+++ b/configs/imb-a180.c
@@ -36,6 +36,9 @@ struct {
                        .phys_start = 0x3b000000,
                        .size = 0x4000000,
                },
+               .debug_console = {
+                       .phys_start = 0x3f8,
+               },
                .platform_info.x86 = {
                        .mmconfig_base = 0xe0000000,
                        .mmconfig_end_bus = 0xff,
@@ -368,7 +371,9 @@ struct {
                /* IOAPIC */ {
                        .address = 0xfec00000,
                        .id = 0x0,
-                       .pin_bitmap = 0xffffff,
+                       .pin_bitmap = {
+                               0xffffff
+                       },
                },
        },