Beispiel #1
0
int main ( void ) {
	
	enableLEDs();
	turnOffAllLEDs();
	
	while(1) {
		runOS();
		PROGRAM_TICKS += 1;
	}
	return 0;
};
Beispiel #2
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;
}