option(
'cpu_freq',
type: 'integer',
min: 0,
value: 20000000,
description: 'Nominal clock speed'
)
'programmer',
type: 'array',
value: ['usbtiny'], #['arduino', '-P', '/dev/ttyACM0'],
description: 'AVR Programmer to flash the MCU with.'