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

   1 * Should we use a task gate for hardware interrupts?  Then we could
   2   dedicate a stack to interrupt handling and not worry about interrupt
   3   usage of kernel stacks.
   4
   5 * Filesystem dumps should include filehdrs?
   6
   7 * Cygwin support:
   8   - PE linker scripts?  Doesn't seem to support ELF ones.
   9   - .S files need _ prefixes on symbols.
  10
  11 * Implement `jitter'.
  12
  13 * Compile and install gdb, dbg versions.
  14   - Test gdb version.
  15
  16 * Cross-compile notes:
  17
  18 cd /tmp
  19 bzcat ~/binutils-2.15.tar.bz2 | tar x
  20 tar xzf newlib-1.12.0.tar.gz
  21 tar xzf gcc-core-3.3.2.tar.gz
  22 tar xzf gdb-6.2.1.tar.gz
  23
  24 PATH=$PATH:/usr/class/cs140/i386/bin
  25
  26 cd /tmp/binutils-2.15
  27 mkdir i386
  28 cd i386
  29 ../configure --target=i386-elf --prefix=/usr/class/cs140/i386
  30 make LDFLAGS=-lintl
  31 make install
  32
  33 cd /tmp/gcc-core-3.3.2.tar.gz
  34 mkdir i386
  35 cd i386
  36 ../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 make
  38 make install
  39
  40 cd /tmp/gdb-6.2.1
  41 mkdir i386
  42 cd i386
  43 ../configure --target=i386-elf --prefix=/usr/class/cs140/i386 --disable-tui
  44 make
  45 make install