update todos

diff --git a/tools/tinyos/safe/tos-ramsize b/tools/tinyos/safe/tos-ramsize
index d0f549ba5454ec1e9d6989abb929677670f2911b..497acc54fa0602f14ae9cfb0806eba0df76b6e73 100755 (executable)
--- a/tools/tinyos/safe/tos-ramsize
+++ b/tools/tinyos/safe/tos-ramsize
@@ -27,9 +27,16 @@ use Getopt::Long;
 
 # TODO: 
 #
-# flesh out the man page
+# support TOSThreads
+#
+# support msp430
+#
+# optionally don't do recursion checking
+#
+# make it possible to specify chips individually
 #
-# make a page on the TinyOS wiki
+# make it possible to explicitly specify which interrupts are atomic
+# or not
 #
 # tighten results by keeping track of depths inside and out of
 # atomic sections
@@ -40,16 +47,12 @@ use Getopt::Long;
 # get rid of hard-coded non-terminating functions, just derive this
 # when no "ret" is executed
 #
-# test for tightness / soundness using randprog and Avrora
+# test for tightness / soundness using randprog + Avrora
 #
 # read config info from a file
 #   chip parameters
 #   libc information
 #   recursion and interrupt info
-#
-# support TOSThreads
-#
-# support msp430
 
 ##########################################################################