+ //int ret;
+ //ret = theos_test(0x1, 0x2, 0x3);
+ //ret = theos_uptime();
+
+ //printf("ret: %d\n", ret);
+
+ 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();
+
+ // switch_usermode();
+
+ //printf("without system call");
+// theos_test(0xA1, 0xA2);
+
+ /* 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 */