If the kernel image gets too big, "cmp ebx, KERNEL_LOAD_PAGES*8 + 1"
[pintos-anon] / src / constants.h
2004-10-19 Ben PfaffAllow cpp to remove comments when producing kernel...
2004-10-19 Ben PfaffComments.
2004-09-22 Ben PfaffAdd THREAD_JOIN_IMPLEMENTED.
2004-09-16 Ben PfaffSkeleton for students to use.