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

   1 * Write, test user programs.
   2   - addrspace_load() should return thread's esp.
   3   - thread_execute() shouldn't panic on failure (!).
   4
   5 * Figure out PD/PT management API.
   6   - We should document what's in mmu.h.
   7   - pagedir.[ch] is undocumented.
   8
   9 * Write, test VM.
  10
  11 * Implement `jitter'.
  12
  13 * Test list, hash ADTs.
  14
  15 * Compile and install gdb, dbg versions.
  16   - Test gdb version.
  17
  18 * References/bibliography.
  19   - Userprog refers to [SysV-i386].
  20
  21 * Write "tour".
  22
  23 ----------------------------------------------------------------------
  24
  25 * Cygwin support:
  26   - PE linker scripts?  Doesn't seem to support ELF ones.
  27   - .S files need _ prefixes on symbols.
  28
  29 * Filesystem dumps should include filehdrs?
  30
  31 * Cross-compile notes:
  32
  33 cd /tmp
  34 bzcat ~/binutils-2.15.tar.bz2 | tar x
  35 tar xzf newlib-1.12.0.tar.gz
  36 tar xzf gcc-core-3.3.2.tar.gz
  37 tar xzf gdb-6.2.1.tar.gz
  38
  39 PATH=$PATH:/usr/class/cs140/i386/bin
  40
  41 cd /tmp/binutils-2.15
  42 mkdir i386
  43 cd i386
  44 ../configure --target=i386-elf --prefix=/usr/class/cs140/i386
  45 make LDFLAGS=-lintl
  46 make install
  47
  48 cd /tmp/gcc-core-3.3.2.tar.gz
  49 mkdir i386
  50 cd i386
  51 ../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
  52 make
  53 make install
  54
  55 cd /tmp/gdb-6.2.1
  56 mkdir i386
  57 cd i386
  58 ../configure --target=i386-elf --prefix=/usr/class/cs140/i386 --disable-tui
  59 make
  60 make install