projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Update docs.
[pintos-anon]
/
src
/
TODO
diff --git
a/src/TODO
b/src/TODO
index 0dae14b87077379b47b0f5b7ed54cee6cfd2ea9d..6392e2920875a168df94f46c896b6beaa617ef18 100644
(file)
--- a/
src/TODO
+++ b/
src/TODO
@@
-1,18
+1,14
@@
-*
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.
-* Filesystem dumps should include filehdrs?
+----------------------------------------------------------------------
* Cygwin support:
- PE linker scripts? Doesn't seem to support ELF ones.
- .S files need _ prefixes on symbols.
* Cygwin support:
- PE linker scripts? Doesn't seem to support ELF ones.
- .S files need _ prefixes on symbols.
-* Implement `jitter'.
-
-* Compile and install gdb, dbg versions.
+* Filesystem dumps should include filehdrs?
* Cross-compile notes:
* Cross-compile notes: