type Platform = enumeration(unknown "Unknown AVR chip", ATmega16 "AVR ATmega16", ATmega328P "AVR ATmega328P (e.g. Arduino Uno)");