If the kernel image gets too big, "cmp ebx, KERNEL_LOAD_PAGES*8 + 1"
[pintos-anon] / src / tests / userprog / .cvsignore
1 *.d
2 bubsort
3 echo
4 halt
5 insult
6 lineup
7 matmult
8 recursor
9 shell