Index: irqDispatch_c.c
===================================================================
diff -u -r62f81f0f9649926feae18dc09da001690dbcd26e -rffb7de73b96014d11f7973234b2d6385bf4e9744
--- irqDispatch_c.c	(.../irqDispatch_c.c)	(revision 62f81f0f9649926feae18dc09da001690dbcd26e)
+++ irqDispatch_c.c	(.../irqDispatch_c.c)	(revision ffb7de73b96014d11f7973234b2d6385bf4e9744)
@@ -59,7 +59,7 @@
  *
  */
 
-#define MAX_NESTING_LEVEL 8
+#define MAX_NESTING_LEVEL 12
 
 
 /** @fn    void C_irqDispatch(void)