Disable the kernel in all the "empty" preset templates.

[bertos.git] / boards / lpc-p2378 / templates / empty / main.c

diff --git a/boards/lpc-p2378/templates/empty/main.c b/boards/lpc-p2378/templates/empty/main.c
index 2bbaf0447b52c029b494235f77a512b396c964d5..1036c5cb6b95c100b1fd37e4c488bfd9eb90c589 100644 (file)
--- a/boards/lpc-p2378/templates/empty/main.c
+++ b/boards/lpc-p2378/templates/empty/main.c
@@ -44,8 +44,6 @@
 #include <hw/hw_led.h>
 #include <drv/timer.h>
 #include <drv/ser.h>
-#include <kern/proc.h>
-#include <drv/ser.h>
 
 static Serial out;
 
@@ -64,12 +62,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)