X-Git-Url: https://oss.titaniummirror.com/gitweb/?a=blobdiff_plain;f=tools%2Ftinyos%2Fsafe%2Ftos-ramsize;h=06344845c4259bb64148d944b1d627509bfed33c;hb=634077786ed9fd23c4a4dbe854792898411564f3;hp=b9576827aae1d233951720281bc035491793ae70;hpb=72e5d8e86c6ad1faf10c159382e8cd72c54dbd10;p=tinyos-2.x.git

diff --git a/tools/tinyos/safe/tos-ramsize b/tools/tinyos/safe/tos-ramsize
index b9576827..06344845 100755
--- a/tools/tinyos/safe/tos-ramsize
+++ b/tools/tinyos/safe/tos-ramsize
@@ -26,23 +26,37 @@ use warnings;
 use Getopt::Long;
 
 # TODO: 
-#   tighten results by keeping track of atomic sections
-#   support overriding the default heuristic for detecting atomic vectors
-#   get rid of hard-coded non-terminating functions, just derive this
-#     when no "ret" is executed
-#   test for tightness / soundness using randprog
-#   read config info from a file
-#     chip parameters
-#     libc information
-#     recursion and interrupt info
-#   support TOSThreads
-#   support msp430
-#   enumerate soundness requirements
-#     stores to SP are direct and use "out"
-#     no indirect stores to registers
-#     no reentrant interrupts
-#     outs to 0x3f are ending atomic blocks, seis are enabling interrupts for real
-#     return instructions go back to their callers' successors
+#
+# flesh out the man page
+#
+# make a page on the TinyOS wiki
+#
+# tighten results by keeping track of depths inside and out of
+# atomic sections
+#
+# support overriding the default heuristic for detecting atomic
+# interrupts
+#
+# get rid of hard-coded non-terminating functions, just derive this
+# when no "ret" is executed
+#
+# test for tightness / soundness using randprog and Avrora
+#
+# read config info from a file
+#   chip parameters
+#   libc information
+#   recursion and interrupt info
+#
+# support TOSThreads
+#
+# support msp430
+#
+# enumerate soundness requirements
+#   stores to SP are direct and use "out"
+#   no reentrant interrupts
+#   outs to SREG are for ending atomic blocks, seis are enabling interrupts for real
+#   return instructions go back to their callers' successors
+#   special-cases are correct
 
 ##########################################################################