X-Git-Url: https://codewiz.org/gitweb?a=blobdiff_plain;f=boards%2Fek-lm3s1968%2Ftemplates%2Fempty%2Fmain.c;h=9ca44575ecd0c0b8a932ee5886c16efb96aff420;hb=c34de402cec6fda7bf4474f32fed5e5c02cd7e7e;hp=659b51b5524aeee572c5f573888ab7331340e9ed;hpb=8787c32c5df4311a7ae38e7f5717c675821a7067;p=bertos.git

diff --git a/boards/ek-lm3s1968/templates/empty/main.c b/boards/ek-lm3s1968/templates/empty/main.c
index 659b51b5..9ca44575 100644
--- a/boards/ek-lm3s1968/templates/empty/main.c
+++ b/boards/ek-lm3s1968/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>
 #include <drv/lcd_rit128x96.h>
 #include <drv/kbd.h>
 
@@ -77,12 +76,6 @@ static void init(void)
 	rit128x96_blitBitmap(&lcd_bitmap);
 	/* Initialize the keypad driver */
 	kbd_init();
-
-	/*
-	 * Kernel initialization: processes (allow to create and dispatch
-	 * processes using proc_new()).
-	 */
-	proc_init();
 }
 
 int main(void)