Scusate ma in giro come ho gia' detto, vedi forum postato sia da me che da Paolo, si parla della toolchain, di GCC, di compilazione degli esempi forniti.
Quindi se non stanno scrivendo cose al vento e' un normale micro programmabile.
Che poi onestamente io non credo che ci mettero' mano in tal senso, sempre legato ad una MCU atmel lo usero', quindi non e' che sia importante piu' di tanto per me