Use custom files.
[bertos.git] / bertos / kern / irq.c
index 9a1ff514cef875e2aa426cd31134ffd7274e7df0..42012db9cde0ea0268f2c76e49b74331bc5984d7 100644 (file)
@@ -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