Make Pintos able to build with "gcc -m32" on x86-64 hosts without the
[pintos-anon] / src / tests / filesys /
drwxr-xr-x   ..
-rw-r--r-- 504 Grading.no-vm
-rw-r--r-- 619 Grading.with-vm
drwxr-xr-x - base
-rw-r--r-- 290 create.inc
drwxr-xr-x - extended
-rw-r--r-- 1017 seq-test.c
-rw-r--r-- 329 seq-test.h