Reorder include.
[bertos.git] / boards / at91sam7s-ek / templates / empty / main.c
index f5c8b3051f6e991c402da710b51136bf650f950d..516bfad06aa01ef67d3159183d164f96dea776ff 100644 (file)
  * supported board and proposes an empty main.
  */
 
+#include "hw/hw_led.h"
+
 #include <cfg/debug.h>
+
 #include <cpu/irq.h>
-#include <hw/hw_led.h>
+
 #include <drv/timer.h>
 #include <drv/ser.h>
-#include <kern/proc.h>
 
 static Serial out;
 
@@ -62,12 +64,6 @@ static void init(void)
        ser_setbaudrate(&out, 115200);
        /* Initialize LED driver */
        LED_INIT();
-
-       /*
-        * Kernel initialization: processes (allow to create and dispatch
-        * processes using proc_new()).
-        */
-       proc_init();
 }
 
 int main(void)