X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2FTODO;h=6392e2920875a168df94f46c896b6beaa617ef18;hb=c21e87658740dd82f45bfc091ddfc7eace72d81c;hp=72126d5c71570d32152c0db69403107ccd4adec8;hpb=f1516057da5811ae175b2ec9b511c83125993cb9;p=pintos-anon

diff --git a/src/TODO b/src/TODO
index 72126d5..6392e29 100644
--- a/src/TODO
+++ b/src/TODO
@@ -1,7 +1,42 @@
-* malloc() needs to block until memory is available?
+* Write "tour".
 
-* Should we use a task gate for hardware interrupts?  Then we could
-  dedicate a stack to interrupt handling and not worry about interrupt
-  usage of kernel stacks.
+* Always flush TLB.
+
+----------------------------------------------------------------------
+
+* Cygwin support:
+  - PE linker scripts?  Doesn't seem to support ELF ones.
+  - .S files need _ prefixes on symbols.
 
 * Filesystem dumps should include filehdrs?
+
+* Cross-compile notes:
+
+cd /tmp
+bzcat ~/binutils-2.15.tar.bz2 | tar x
+tar xzf newlib-1.12.0.tar.gz
+tar xzf gcc-core-3.3.2.tar.gz
+tar xzf gdb-6.2.1.tar.gz
+
+PATH=$PATH:/usr/class/cs140/i386/bin
+
+cd /tmp/binutils-2.15
+mkdir i386
+cd i386
+../configure --target=i386-elf --prefix=/usr/class/cs140/i386
+make LDFLAGS=-lintl
+make install
+
+cd /tmp/gcc-core-3.3.2.tar.gz
+mkdir i386
+cd i386
+../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
+make
+make install
+
+cd /tmp/gdb-6.2.1
+mkdir i386
+cd i386
+../configure --target=i386-elf --prefix=/usr/class/cs140/i386 --disable-tui
+make
+make install