If the kernel image gets too big, "cmp ebx, KERNEL_LOAD_PAGES*8 + 1"
[pintos-anon] / grading / filesys / Make.progs
2004-12-09 Ben PfaffFinish up filesys grading stuff.
2004-12-08 Ben PfaffAdd more tests, results.
2004-12-08 Ben PfaffMore filesys tests.
2004-12-07 Ben PfaffInitial file system tests.