config: Correct / comment GIC irqchip addresses

[jailhouse.git] / configs / vexpress.c

diff --git a/configs/vexpress.c b/configs/vexpress.c
index 3caf3093ab13639a33d5e86239bd0338e64c376d..7d239d2f3f40b2930352a52842a7693be2af9659 100644 (file)
--- a/configs/vexpress.c
+++ b/configs/vexpress.c
@@ -104,8 +104,8 @@ struct {
                },
        },
        .irqchips = {
-               /* GIC */ {
-                       .address = 0x2f000000,
+               /* GIC v3 */ {
+                       .address = 0x2f000000, /* GIC v2: 0x2f001000 */
                        .pin_base = 32,
                        .pin_bitmap = {
                                0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff