+ /* 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();
+ */
+
+ /* LED Segment Driver */
+ //tm1637_init();
+
+ /* ASM Blocking routine */
+ //for (int i = 0; i < 1000; i++)
+ // _block(10000);
+
+ /* TEMP SENSOR
+ tsensor_printid();
+ uint16_t temp = tsensor_get_temp();
+ printf("Current temperature: %d °C\n", temp); */
+
+ /* ADC Joystick module */
+ // mk450_init();
+
+ /* Start up terminal */
+ terminal();
+
+ /* Should not be here, endless loop */