2 - PE linker scripts? Doesn't seem to support ELF ones.
3 - .S files need _ prefixes on symbols.
5 * Filesystem dumps should include filehdrs?
9 PINTOSROOT=$HOME/private/pintos
12 bzcat ~/binutils-2.15.tar.bz2 | tar x
13 tar xzf ~/newlib-1.12.0.tar.gz
14 bzcat ~/gcc-core-3.3.5.tar.bz2 | tar x
15 tar xzf ~/gdb-6.2.1.tar.gz
17 PATH=$PATH:/usr/class/cs140/i386/bin
22 ../configure --target=i386-elf --prefix=/usr/class/cs140/i386
27 patch gcc/config/elfos.h < $PINTOSROOT/src/misc/gcc-3.3.5.patch
30 ../configure --target=i386-elf --prefix=/usr/class/cs140/i386 --with-gnu-as --with-as=/usr/class/cs140/i386/bin/i386-elf-as --with-gnu-ld --with-ld=/usr/class/cs140/i386/bin/i386-elf-ld --with-headers=/tmp/newlib-1.12.0/newlib/libc/include --with-newlib
37 ../configure --target=i386-elf --prefix=/usr/class/cs140/i386 --disable-tui