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

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