*
* \brief Monitor to check for stack overflows
*
- * \version $Id$
*
* \author Giovanni Bajo <rasky@develer.com>
+ *
+ * $WIZ$ module_name = "monitor"
+ * $WIZ$ module_depends = "kernel"
+ * $WIZ$ module_configuration = "bertos/cfg/cfg_monitor.h"
*/
#ifndef KERN_MONITOR_H
#define KERN_MONITOR_H
-#include "cfg/cfg_kern.h"
+#include "cfg/cfg_monitor.h"
#include <cpu/types.h>
-#if CONFIG_KERN_MONITOR
-
/**
* Start the kernel monitor. It is a special process which checks every second the stacks of the
* running processes trying to detect stack overflows.
/** Print a report of the stack status through kdebug */
void monitor_report(void);
-
-#endif /* CONFIG_KERN_MONITOR */
#endif /* KERN_MONITOR_H */