X-Git-Url: https://codewiz.org/gitweb?a=blobdiff_plain;f=boards%2Fstm32-p103%2Ftemplates%2Fempty%2Fmain.c;h=251b987afdf62fb9c87d5017211aeb329ce92c70;hb=4ac3fd00c7407310d00e3b09fc96ac2293de674e;hp=577a98a652e53419baf2bfa9fd86bf886c4c7f20;hpb=57bc2725ffb9ebe4c40ad1942090d462e1208a5d;p=bertos.git

diff --git a/boards/stm32-p103/templates/empty/main.c b/boards/stm32-p103/templates/empty/main.c
index 577a98a6..251b987a 100644
--- a/boards/stm32-p103/templates/empty/main.c
+++ b/boards/stm32-p103/templates/empty/main.c
@@ -38,11 +38,13 @@
  * 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 <kern/proc.h>
 
 static void init(void)
 {
@@ -55,12 +57,6 @@ static void init(void)
 	timer_init();
 	/* Initialize LED driver */
 	LED_INIT();
-
-	/*
-	 * Kernel initialization: processes (allow to create and dispatch
-	 * processes using proc_new()).
-	 */
-	proc_init();
 }
 
 int main(void)