Use TIMER_FREQ of 19 for grading priority-fifo.
[pintos-anon] / grading / lib / cksum.h
2004-12-07 Ben PfaffGrading library files.