+
+ /* Real time clock */
+ rtc_init();
+
+ /* Initialize SVC handler for system calls*/
+ syscall_init();
+
+ /* System call test */
+ int uptime = theos_uptime();
+ printf("UPTIME: %d\n", uptime);
+
+ /* Multi processes test */
+// int size_stack = sizeof(stackp1);
+// p1.stackptr = ((unsigned int) stackp1) + size_stack - 0x1C;
+// p1.stackptr[6] = (uint32_t) process1;
+// p1.stackptr[7] = 0x01000000;
+// p2.stackptr = ((unsigned int) stackp2) + size_stack - 0x1C;
+// p2.stackptr[6] = (uint32_t) process2;
+// p2.stackptr[7] = 0x01000000;
+// theos_init(&p1);
+
+ /* Cortex M* integrated systick, can be replaced
+ * by the more accurate RTC. */
+ //systick_init();
+
+ /* Eeprom Driver
+ eeprom_at24c_init();
+ eeprom_test();
+ */