Switch to new kernel config files.

[bertos.git] / bertos / kern / proc.h

diff --git a/bertos/kern/proc.h b/bertos/kern/proc.h
index abd68fc67c9218a4ff2216eba384912a5d87eccc..b270d4069d52ab43540aa9e46d80947978d20d07 100644 (file)
--- a/bertos/kern/proc.h
+++ b/bertos/kern/proc.h
@@ -42,7 +42,9 @@
 #ifndef KERN_PROC_H
 #define KERN_PROC_H
 
-#include "cfg/cfg_kern.h"
+#include "cfg/cfg_proc.h"
+#include "cfg/cfg_monitor.h"
+
 #include <cfg/compiler.h>
 
 #if CONFIG_KERN_PREEMPT