For Linux, you can get it from http://csl.stanford.edu/~pal/tinyos-2.0.0-3.rpm If you are a platform tester, please test that it works by 8PM PDT tomorrow. Prabal, can you cut a Cygwin RPM? I can put it online when you do. Phil