* 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
#ifndef KERN_MONITOR_H
#define KERN_MONITOR_H
-#include <cfg/cpu.h>
+#include <cpu/cpu.h>
#include <config_kern.h>
#if CONFIG_KERN_MONITOR