X-Git-Url: https://rtime.felk.cvut.cz/gitweb/jailhouse.git/blobdiff_plain/f2931b157d70e7257da839588cb2a325dc2a0aa6..85783c01aa07f911c6eab0f53536a82a7d207f2f:/configs/vexpress.c

diff --git a/configs/vexpress.c b/configs/vexpress.c
index 3caf309..7d239d2 100644
--- 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