The AVR toolchain used by the Arduino IDE