pintos-os.org Git - pintos-anon/blob - src/misc/TODO

   1 * Cygwin support:
   2   - PE linker scripts?  Doesn't seem to support ELF ones.
   3   - .S files need _ prefixes on symbols.
   4
   5 * Filesystem dumps should include filehdrs?
   6
   7 * Cross-compile notes:
   8
   9 PINTOSROOT=$HOME/private/pintos
  10
  11 cd /tmp
  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
  16
  17 PATH=$PATH:/usr/class/cs140/i386/bin
  18
  19 cd /tmp/binutils-2.15
  20 mkdir i386
  21 cd i386
  22 ../configure --target=i386-elf --prefix=/usr/class/cs140/i386
  23 make LDFLAGS=-lintl
  24 make install
  25
  26 cd /tmp/gcc-3.3.5
  27 patch gcc/config/elfos.h < $PINTOSROOT/src/misc/gcc-3.3.5.patch
  28 mkdir i386
  29 cd i386
  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
  31 make
  32 make install
  33
  34 cd /tmp/gdb-6.2.1
  35 mkdir i386
  36 cd i386
  37 ../configure --target=i386-elf --prefix=/usr/class/cs140/i386 --disable-tui
  38 make LDFLAGS=-lintl
  39 make install