config, core: Improve irqchip configuration

[jailhouse.git] / configs / bananapi.c

diff --git a/configs/bananapi.c b/configs/bananapi.c
index d81668e7b5ed51cadeb57d97537a013d558567ee..7efb394f29c9df7e38a0a68ae08c1638dc3757de 100644 (file)
--- a/configs/bananapi.c
+++ b/configs/bananapi.c
@@ -164,7 +164,10 @@ struct {
        .irqchips = {
                /* GIC */ {
                        .address = 0x2f000000,
-                       .pin_bitmap = 0xffffffffffffffff,
+                       .pin_base = 32,
+                       .pin_bitmap = {
+                               0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff
+                       },
                },
        },