Don't need GCC patch anymore because we don't use Intel syntax.
[pintos-anon] / src / misc /
drwxr-xr-x   ..
-rw-r--r-- 10811 bochs-2.1.1.patch
-rw-r--r-- 1078 gcc-3.3.6-cross-howto