1 files changed, 11 insertions, 2 deletions
diff --git a/demos/PPC-SPC563-GCC/main.c b/demos/PPC-SPC563-GCC/main.c
index 6e65e2263..f5c6c9b40 100644
--- a/demos/PPC-SPC563-GCC/main.c
+++ b/demos/PPC-SPC563-GCC/main.c
@@ -145,8 +145,7 @@ static msg_t Thread1(void *arg) {
 }
 
 /*
- * Entry point, note, the main() function is already a thread in the system
- * on entry.
+ * Application entry point.
  */
 int main(int argc, char **argv) {
   Thread *shelltp = NULL;
@@ -155,6 +154,16 @@ int main(int argc, char **argv) {
   (void)argv;
 
   /*
+   * System initializations.
+   * - HAL initialization, this also initializes the configured device drivers
+   *   and performs the board-specific initializations.
+   * - Kernel initialization, the main() function becomes a thread and the
+   *   RTOS is active.
+   */
+  halInit();
+  chSysInit();
+
+  /*
    * Activates the serial driver 1 using the driver default configuration.
    */
   sdStart(&SD1, NULL);