From 08ac2f584f9886fa5c8419214fff51db35c4d723 Mon Sep 17 00:00:00 2001 From: Julien Grall Date: Wed, 14 May 2014 19:45:02 +0100 Subject: [PATCH] HACK: Enable evtchn and timer IRQ on secondary CPUs --- sys/arm/arm/gic.c | 2 ++ 1 file changed, 2 insertions(+) diff --git a/sys/arm/arm/gic.c b/sys/arm/arm/gic.c index 607e02ad2cdd..7e5e08317b6f 100644 --- a/sys/arm/arm/gic.c +++ b/sys/arm/arm/gic.c @@ -194,6 +194,8 @@ gic_init_secondary(device_t dev) gic_d_write_4(sc, GICD_ISENABLER(27 >> 5), (1UL << (27 & 0x1F))); gic_d_write_4(sc, GICD_ISENABLER(29 >> 5), (1UL << (29 & 0x1F))); gic_d_write_4(sc, GICD_ISENABLER(30 >> 5), (1UL << (30 & 0x1F))); + /* Activate IRQ 31, ie private evtchn IRQ */ + gic_d_write_4(sc, GICD_ISENABLER(31 >> 5), (1UL << (31 & 0x1F))); } #if 0 -- 2.39.5