1 * userprog should mention that keyboard over serial doesn't work
3 * Get rid of names for synch primitives? They increase the size of
4 each one by 16 bytes and are probably not that useful.
5 Alternatively make the names pointers?
7 * Write, test user programs.
8 - addrspace_load() should return thread's esp.
9 - thread_execute() shouldn't panic on failure (!).
11 * Figure out PD/PT management API.
12 - We should document what's in mmu.h.
13 - pagedir.[ch] is undocumented.
19 * Test list, hash ADTs.
21 * Compile and install gdb, dbg versions.
24 * References/bibliography.
25 - Userprog refers to [SysV-i386].
29 ----------------------------------------------------------------------
32 - PE linker scripts? Doesn't seem to support ELF ones.
33 - .S files need _ prefixes on symbols.
35 * Filesystem dumps should include filehdrs?
37 * Cross-compile notes:
40 bzcat ~/binutils-2.15.tar.bz2 | tar x
41 tar xzf newlib-1.12.0.tar.gz
42 tar xzf gcc-core-3.3.2.tar.gz
43 tar xzf gdb-6.2.1.tar.gz
45 PATH=$PATH:/usr/class/cs140/i386/bin
50 ../configure --target=i386-elf --prefix=/usr/class/cs140/i386
54 cd /tmp/gcc-core-3.3.2.tar.gz
57 ../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
64 ../configure --target=i386-elf --prefix=/usr/class/cs140/i386 --disable-tui