Thanks, Veronica. So can we now say definitively that avr-libc is definitely being provided by the Linux distribution and not by Arduino?
I posted the bug report on the avr-libc-dev forum (http://lists.gnu.org/archive/html/avr-libc-dev/2009-01/threads.html
), and they ask the following questions:
- Which Linux distribution does the problem show up on?
- Who is the maintainer of the AVR GCC toolchain on that Linux distribution?
- Which version of AVR GCC is being built? (Is it 4.3.0?)
- How is the AVR GCC toolchain being built? What patches are being used? What is the configuration command line?
Can someone using Linux -- especially on a distribution known to be failing -- answer these?