The solution was simply to use the avrhardware.h from the latest TinyOS source distribution, since the avrhardware.h found in TinyOS 1.1.10 is incompatible with the latest avr-libc in the Ubuntu repository.
Thanks, N. V. _______________________________________________ Tinyos-help mailing list [email protected] https://mail.millennium.berkeley.edu/cgi-bin/mailman/listinfo/tinyos-help
