Fix the ntc problems.

[bertos.git] / bertos / kern / monitor.c

diff --git a/bertos/kern/monitor.c b/bertos/kern/monitor.c
index 26e2025b514dab010ec961ae298d0567a3892f5e..5995fc53d223954ee4905afb38183457c18f5917 100644 (file)
--- a/bertos/kern/monitor.c
+++ b/bertos/kern/monitor.c
@@ -42,18 +42,20 @@
 #if CONFIG_KERN_MONITOR
 
 #include "proc_p.h"
+#include <cfg/macros.h>
+#include <cfg/debug.h>
+
 #include <struct/list.h>
+
 #include <drv/timer.h>
+
 #include <kern/proc.h>
-#include <cpu/frame.h> /* CPU_STACK_GROWS_UPWARD */
-#include <cfg/macros.h>
-#include <cfg/debug.h>
 
+#include <cpu/frame.h> /* CPU_STACK_GROWS_UPWARD */
 
 /* Access to this list must be protected against the scheduler */
 static List MonitorProcs;
 
-
 void monitor_init(void)
 {
        LIST_INIT(&MonitorProcs);