// debug("Task %d not scheduled\n", ct);
continue;
}
- printf("Current task to run: %d\n", ct);
+ debug("Current task to run: %d\n", ct);
run_task(curtask);
curtask->lastrun = cyclestart;
+ write_byte('\n');
}
- write_byte('\n');
}
#ifdef STM32F767xx
+char s[128] = "";
int main1(void){
#else
int main(int argc, char *argv[]){
gargc = argc;
gargv = argv;
#endif
+ debug("booting up\r\n");
+
//Initialize systems
setup();
sds_init();
while(true){
//Check for new tasks
+ debug("loop\r\n");
loop();
- delay(10);
+ delay(100);
}
return 0;
}