Always use a custom linker script, to avoid oddities in the default.

[pintos-anon] / TODO

diff --git a/TODO b/TODO
index 494cd72180988412b5e1a4a56f2b3a32e8a9d72a..e037e2bf2decea596776dc218aecac4f071dee11 100644 (file)
--- a/TODO
+++ b/TODO
@@ -106,8 +106,6 @@
 
 * Code:
 
-  - Make printf() test actually check its results.
-
   - Make threads test use a program and arguments like the other
     projects.
 
@@ -121,3 +119,6 @@
     documentation.
 
   - Need to check the wait system call more thoroughly.
+
+  - Library is not precisely standard, e.g. ptrdiff_t should not be
+    defined by stdlib.h.