Enable system IRQ generation.

[bertos.git] / drv / at91 / sysirq.c

diff --git a/drv/at91/sysirq.c b/drv/at91/sysirq.c
index 186dcb12628b3bc16b99917c343cc0797333aeee..d3991fddbec7c6bb2ba1911a7f171e6452010153 100644 (file)
--- a/drv/at91/sysirq.c
+++ b/drv/at91/sysirq.c
@@ -27,7 +27,7 @@
  * the GNU General Public License.
  *
  * Copyright 2007 Develer S.r.l. (http://www.develer.com/)
- * This file is part of DevLib - See README.devlib for information.
+ *
  * -->
  *
  * \version $Id$
@@ -127,8 +127,10 @@ void sysirq_init(void)
        AIC_SVR(SYSC_ID) = sysirq_dispatcher;
        /* Initialize to edge triggered with defined priority. */
        AIC_SMR(SYSC_ID) = AIC_SRCTYPE_INT_EDGE_TRIGGERED | SYSIRQ_PRIORITY;
-       /* Clear interrupt */
+       /* Clear pending interrupt */
        AIC_ICCR = BV(SYSC_ID);
+       /* Enable the system IRQ */
+       AIC_IECR = BV(SYSC_ID);
 
        IRQ_RESTORE(flags);
        MOD_INIT(sysirq);