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

diff --git a/boards/at91sam7s-ek/templates/empty/main.c b/boards/at91sam7s-ek/templates/empty/main.c
index 87326772..0c8aefc4 100644
--- a/boards/at91sam7s-ek/templates/empty/main.c
+++ b/boards/at91sam7s-ek/templates/empty/main.c
@@ -43,26 +43,31 @@
 #include <hw/hw_led.h>
 #include <drv/timer.h>
 #include <drv/ser.h>
-#include <kern/proc.h>
 
 static Serial out;
 
 static void init(void)
 {
+	/* Enable all the interrupts */
 	IRQ_ENABLE;
 
+	/* Initialize debugging module (allow kprintf(), etc.) */
 	kdbg_init();
+	/* Initialize system timer */
 	timer_init();
-	proc_init();
-	LED_INIT();
-
+	/* Initialize UART0 */
 	ser_init(&out, SER_UART0);
+	/* Configure UART0 to work at 115.200 bps */
 	ser_setbaudrate(&out, 115200);
+	/* Initialize LED driver */
+	LED_INIT();
 }
 
 int main(void)
 {
 	init();
+
+	/* Put your code here... */
 	while (1)
 	{
 	}