Chef cookbook for the AVR-GCC toolchain