A batch AVR programmer using a Raspberry Pi