Hi this may seem out of place.. I am Raja, from India. I am starting on some work on TinyOS. I am very interested in having TinyOS installed for 8051 platform(cc2430), and I use Ubuntu. I would very much appreciate if you could lead me to the steps, other than whats given on http://www.tinyos8051wg.net/
. I also prefer to use SDCC, particularly because I dont want VMware or Wine, since I want to have Linux flavor completely. I did look into a few posts on the mailing list as well. I would greatly appreciate if some info is passed on.