int main ( void ) { enableLEDs(); turnOffAllLEDs(); while(1) { runOS(); PROGRAM_TICKS += 1; } return 0; };
int main(int argC, char* argv[]){ OS opSys; SimpleTimer clock; makeSimpleTimer(&clock); start(&clock); constructOS(&opSys); configOS(&opSys, argv[1]); runOS(&opSys, &clock); return 0; }