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

diff --git a/bertos/kern/irq.c b/bertos/kern/irq.c
index 9a1ff514..479ad67b 100644
--- a/bertos/kern/irq.c
+++ b/bertos/kern/irq.c
@@ -31,7 +31,7 @@
  *
  * \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
@@ -44,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