On Jun 5, 2008, at 10:05 PM, John Regehr wrote:

>> I saw "safe tinyos annotations" and started changing files from the  
>> CVS.
>> Can anyone tell what is the purpose of "ONE", "ONE_NOK",  
>> "TRUSTEDBLOCK"
>> and where are they defined?
>
> The annotations are described here:
>
>   http://www.cs.utah.edu/~coop/safetinyos/
>
> The annotations are defined in tos/lib/safe/include/annots_stage[12].h

John,

It might be nice to write up a TEP on the annotations and what they  
mean, so there's a documentation source within the TinyOS tree. Or a  
wiki entry?

Phil
_______________________________________________
Tinyos-help mailing list
[email protected]
https://www.millennium.berkeley.edu/cgi-bin/mailman/listinfo/tinyos-help

Reply via email to