projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Update.
[pintos-anon]
/
src
/
TODO
diff --git
a/src/TODO
b/src/TODO
index 67813b3d00486542c76530e024691c148fba18c0..6392e2920875a168df94f46c896b6beaa617ef18 100644
(file)
--- a/
src/TODO
+++ b/
src/TODO
@@
-1,17
+1,14
@@
-* 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.
+* Write "tour".
-* Filesystem dumps should include filehdrs?
+* Always flush TLB.
+
+----------------------------------------------------------------------
* 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.
- - Test gdb version.
+* Filesystem dumps should include filehdrs?
* Cross-compile notes:
* Cross-compile notes: