[Tinyos-devel] Safe TinyOS tools

[Vlado Handziski]

Are the instructions at
http://www.cs.utah.edu/~coop/safetinyos/install/still current? Isn't
there going to be a proper tools package supporting
safe TinyOS?

The deputy RPM package on that page seems to support cygwin only...

Also, what is this story about patching include files in the msp430 and avr
toolchains. Why is this not handled with shadowing + undef somewhere in the
tinyos headers, like we do in msp430hardware.h?

Vlado
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://www.millennium.berkeley.edu/pipermail/tinyos-devel/attachments/20080619/6870456a/attachment.htm