From: regehr Date: Tue, 14 Apr 2009 19:36:07 +0000 (+0000) Subject: update todos X-Git-Tag: rc_6_tinyos_2_1_1~412 X-Git-Url: https://oss.titaniummirror.com/gitweb/?p=tinyos-2.x.git;a=commitdiff_plain;h=3c7e2ec6e1a152505fa3e51ce25272ae38b84712 update todos --- diff --git a/tools/tinyos/safe/tos-ramsize b/tools/tinyos/safe/tos-ramsize index d0f549ba..497acc54 100755 --- 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 ##########################################################################