Actualización de firmware de USB Rubber Ducky [cerrado]

Acabo de borrar mi firmware, usando dfu-programmer-0.7.2 :

$ dfu-programmer at32uc3b1256 erase
Checking memory from 0x2000 to 0x3FFFF... Not blank at 0x2001.
Erasing flash... Success
Checking memory from 0x2000 to 0x3FFFF... Empty.

El LED en el chip ahora está encendido en rojo, en lugar de en verde.

Estoy listo para actualizarlo con un nuevo firmware, usando:

$ dfu-programmer at32uc3b1256 flash --suppress-bootloader-mem *.hex

Sin embargo, hay varios archivos * .hex diferentes disponibles en línea.

• ¿Es dfu-programmer-0.7.2 actual / correcto?
• ¿Cuáles son las diferencias entre los distintos archivos * .hex?
• ¿Cuál (si corresponde) debería usar?