http://www.valent-blog.eu/2012/04/11/installare-tinyos-2-0-2-su-debian-squeeze/