From f0687d366a37772f4e977cbda592ada955fe361e Mon Sep 17 00:00:00 2001 From: Ruslan Bukin Date: Thu, 12 Jun 2014 11:41:04 +0000 Subject: [PATCH] Activate IRQ 30 (non-secure private timer IRQ) for case we are running in non-secure state. --- sys/arm/arm/gic.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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