Add comments to the "empty" preset templates across the supported boards.
authorarighi <arighi@38d2e660-2303-0410-9eaa-f027e97ec537>
Tue, 25 May 2010 12:46:42 +0000 (12:46 +0000)
committerarighi <arighi@38d2e660-2303-0410-9eaa-f027e97ec537>
Tue, 25 May 2010 12:46:42 +0000 (12:46 +0000)
git-svn-id: https://src.develer.com/svnoss/bertos/trunk@3824 38d2e660-2303-0410-9eaa-f027e97ec537

boards/arduino/templates/empty/main.c
boards/at91sam7s-ek/templates/empty/main.c
boards/at91sam7x-ek/templates/empty/main.c
boards/ek-lm3s1968/templates/empty/main.c
boards/lpc-p2378/templates/empty/main.c
boards/stm32-p103/templates/empty/main.c
boards/triface/templates/empty/main.c

index 0f9461990546722ea7666636512a0ee0d2113a5e..2bbaf0447b52c029b494235f77a512b396c964d5 100644 (file)
@@ -51,20 +51,32 @@ 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();
+
+       /*
+        * Kernel initialization: processes (allow to create and dispatch
+        * processes using proc_new()).
+        */
+       proc_init();
 }
 
 int main(void)
 {
        init();
+
+       /* Put your code here... */
        while (1)
        {
        }
index 873267725c5ab46b25edd46d5b64af4af6cc53cc..f5c8b3051f6e991c402da710b51136bf650f950d 100644 (file)
@@ -49,20 +49,32 @@ 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();
+
+       /*
+        * Kernel initialization: processes (allow to create and dispatch
+        * processes using proc_new()).
+        */
+       proc_init();
 }
 
 int main(void)
 {
        init();
+
+       /* Put your code here... */
        while (1)
        {
        }
index 0f9461990546722ea7666636512a0ee0d2113a5e..2bbaf0447b52c029b494235f77a512b396c964d5 100644 (file)
@@ -51,20 +51,32 @@ 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();
+
+       /*
+        * Kernel initialization: processes (allow to create and dispatch
+        * processes using proc_new()).
+        */
+       proc_init();
 }
 
 int main(void)
 {
        init();
+
+       /* Put your code here... */
        while (1)
        {
        }
index d79b9880ba04fec374770f68627567d2d4eb901a..659b51b5524aeee572c5f573888ab7331340e9ed 100644 (file)
 
 #include <cfg/debug.h>
 #include <cpu/irq.h>
-#include <cpu/power.h>
 #include <hw/hw_led.h>
 #include <drv/timer.h>
 #include <drv/ser.h>
 #include <kern/proc.h>
-#include <drv/ser.h>
 #include <drv/lcd_rit128x96.h>
 #include <drv/kbd.h>
 
-static uint8_t raster[RAST_SIZE(LCD_WIDTH, LCD_HEIGHT)];
+/* Bitmap to display on the OLED display */
 static Bitmap lcd_bitmap;
+/* Raster associated to the Bitmap image */
+static uint8_t raster[RAST_SIZE(LCD_WIDTH, LCD_HEIGHT)];
 
 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();
+       /* Initialize UART0 */
+       ser_init(&out, SER_UART0);
+       /* Configure UART0 to work at 115.200 bps */
+       ser_setbaudrate(&out, 115200);
+       /* Initialize LED driver */
        LED_INIT();
+       /* Initialize the OLED display (RIT128x96) */
        rit128x96_init();
+       /* Draw an empty Bitmap on the screen */
        gfx_bitmapInit(&lcd_bitmap, raster, LCD_WIDTH, LCD_HEIGHT);
+       /* Refresh the display */
        rit128x96_blitBitmap(&lcd_bitmap);
+       /* Initialize the keypad driver */
        kbd_init();
 
-       ser_init(&out, SER_UART0);
-       ser_setbaudrate(&out, 115200);
+       /*
+        * Kernel initialization: processes (allow to create and dispatch
+        * processes using proc_new()).
+        */
+       proc_init();
 }
 
 int main(void)
 {
        init();
+
+       /* Put your code here... */
        while (1)
        {
        }
index 0f9461990546722ea7666636512a0ee0d2113a5e..2bbaf0447b52c029b494235f77a512b396c964d5 100644 (file)
@@ -51,20 +51,32 @@ 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();
+
+       /*
+        * Kernel initialization: processes (allow to create and dispatch
+        * processes using proc_new()).
+        */
+       proc_init();
 }
 
 int main(void)
 {
        init();
+
+       /* Put your code here... */
        while (1)
        {
        }
index 33777883a8dd2200d9c64f503957c69c1c0a0d7c..577a98a652e53419baf2bfa9fd86bf886c4c7f20 100644 (file)
 
 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();
+       /* Initialize LED driver */
        LED_INIT();
+
+       /*
+        * Kernel initialization: processes (allow to create and dispatch
+        * processes using proc_new()).
+        */
+       proc_init();
 }
 
 int main(void)
 {
        init();
+
+       /* Put your code here... */
        while (1)
        {
        }
index 0f9461990546722ea7666636512a0ee0d2113a5e..2bbaf0447b52c029b494235f77a512b396c964d5 100644 (file)
@@ -51,20 +51,32 @@ 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();
+
+       /*
+        * Kernel initialization: processes (allow to create and dispatch
+        * processes using proc_new()).
+        */
+       proc_init();
 }
 
 int main(void)
 {
        init();
+
+       /* Put your code here... */
        while (1)
        {
        }