X-Git-Url: https://codewiz.org/gitweb?a=blobdiff_plain;f=boards%2Fat91sam7s-ek%2Ftemplates%2Fempty%2Fmain.c;h=0c8aefc4cf533ffa566b87e18c0fa0a729edf9ed;hb=c34de402cec6fda7bf4474f32fed5e5c02cd7e7e;hp=f5c8b3051f6e991c402da710b51136bf650f950d;hpb=57bc2725ffb9ebe4c40ad1942090d462e1208a5d;p=bertos.git

diff --git a/boards/at91sam7s-ek/templates/empty/main.c b/boards/at91sam7s-ek/templates/empty/main.c
index f5c8b305..0c8aefc4 100644
--- a/boards/at91sam7s-ek/templates/empty/main.c
+++ b/boards/at91sam7s-ek/templates/empty/main.c
@@ -43,7 +43,6 @@
 #include <hw/hw_led.h>
 #include <drv/timer.h>
 #include <drv/ser.h>
-#include <kern/proc.h>
 
 static Serial out;
 
@@ -62,12 +61,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)