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

[bertos.git] / boards / at91sam7s-ek / templates / empty / main.c

diff --git a/boards/at91sam7s-ek/templates/empty/main.c b/boards/at91sam7s-ek/templates/empty/main.c
index 873267725c5ab46b25edd46d5b64af4af6cc53cc..0c8aefc4cf533ffa566b87e18c0fa0a729edf9ed 100644 (file)
--- 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)
        {
        }