Move avr simple timer driver.

[bertos.git] / kern / monitor.h

diff --git a/kern/monitor.h b/kern/monitor.h
index 9946719b764ba4bcfcf9c15ad073cc102020af5e..bbed637ceb8e1cff35ad825168235cde0feaa581 100644 (file)
--- a/kern/monitor.h
+++ b/kern/monitor.h
@@ -27,7 +27,7 @@
  * the GNU General Public License.
  *
  * Copyright 2004 Develer S.r.l. (http://www.develer.com/)
- * This file is part of DevLib - See README.devlib for information.
+ *
  * -->
  *
  * \brief Monitor to check for stack overflows
@@ -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