X-Git-Url: https://codewiz.org/gitweb?a=blobdiff_plain;f=bertos%2Fkern%2Firq.c;h=479ad67bf2e134d8e268171927c7919b335f0bb9;hb=fe0a14d1434098bfd0780d06a2a7e55f27940d27;hp=dba432ef890a2d8af77a5257f9d1fc35db35b113;hpb=ecc3d927e252b3fa278b5320f16364fc14d61220;p=bertos.git

diff --git a/bertos/kern/irq.c b/bertos/kern/irq.c
index dba432ef..479ad67b 100644
--- a/bertos/kern/irq.c
+++ b/bertos/kern/irq.c
@@ -31,8 +31,12 @@
  *
  * \brief Process scheduler (public interface).
  *
- * \version $Id: proc.h 1646 2008-08-17 13:49:48Z bernie $
+ * \version $Id$
  * \author Bernie Innocenti <bernie@codewiz.org>
+ *
+ * Still in development, disable nightly test for now
+ * notest: avr
+ * notest: arm
  */
 #include "irq.h"
 
@@ -40,7 +44,7 @@
 #include <kern/proc_p.h>
 #include <kern/proc.h>
 
-#include <cfg/cfg_kern.h>
+#include "cfg/cfg_proc.h"
 
 #include <unistd.h> // FIXME: move POSIX stuff to irq_posix.h