If the kernel image gets too big, "cmp ebx, KERNEL_LOAD_PAGES*8 + 1"
[pintos-anon] / tests /
2005-01-14 Ben PfaffFix bogus return value from `pintos' utility when calli...
2005-01-09 Ben PfaffDon't use ! in shell.
2005-01-09 Ben PfaffAdd self-test.