/pintos-progos/misc/

• ../
• 0001-bochs-2.3.7-jitter.patch
• 0002-bochs-2.3.7-triple-fault.patch
• 0003-bochs-2.3.7-page-fault-segv.patch
• bochs-2.3.7-build.sh
• bochs-2.3.7-gcc43.patch
• bochs-2.3.7-linux3x.patch
• bochs-2.3.7-typos.patch
• gcc-3.3.6-cross-howto
• gdb-macros