Change sreg type to cpuflags_t.
[bertos.git] / kern / monitor.h
index f34168aa7c856e0d481f81367205647732e557c9..bbed637ceb8e1cff35ad825168235cde0feaa581 100644 (file)
@@ -63,7 +63,7 @@
 #ifndef KERN_MONITOR_H
 #define KERN_MONITOR_H
 
-#include <cfg/cpu.h>
+#include <cpu/cpu.h>
 #include <config_kern.h>
 
 #if CONFIG_KERN_MONITOR