diff --git a/sys/arm/arm/gic.c b/sys/arm/arm/gic.c index 4d523c335c6..06c4b879658 100644 --- a/sys/arm/arm/gic.c +++ b/sys/arm/arm/gic.c @@ -166,8 +166,9 @@ gic_init_secondary(void) /* Enable interrupt distribution */ gic_d_write_4(GICD_CTLR, 0x01); - /* Activate IRQ 29, ie private timer IRQ*/ + /* Activate IRQ 29-30, ie private timer (secure & non-secure) IRQs */ gic_d_write_4(GICD_ISENABLER(29 >> 5), (1UL << (29 & 0x1F))); + gic_d_write_4(GICD_ISENABLER(30 >> 5), (1UL << (30 & 0x1F))); } static int