Mettre à jour le firmware de sa carte micro:bit

Une des choses à laquelle on ne pense pas forcément , en tout cas c’est mon cas, c’est mettre à jour le firmware de sa carte micro:bit. Mais comment procéder ? En fait, c’est super simple.

Comment effectuer la mise à jour de firmware d’une carte micro:bit ?

• Déjà, se procurer le firmware le plus récent : ici.
• Pour connaître la version du firmware de votre carte, ouvrez le fichier “DETAILS.TXT” contenu à la racine de votre carte, et rechercher la ligne qui commence par Interface Version

# DAPLink Firmware - see https://mbed.com/daplink
Unique ID: 9900000031634e4500624014000000320000000097969901
HIC ID: 97969901
Auto Reset: 1
Automation allowed: 0
Overflow detection: 0
Daplink Mode: Interface
Interface Version: 0250
Git SHA: 682d8303e37355532402b8d93c4f240a3cec02a9
Local Mods: 0
USB Interfaces: MSD, CDC, HID, WebUSB
Interface CRC: 0x3f2b7e12
Remount count: 0
URL: https://microbit.org/device/?id=9900&v=0250

• Puis, en ayant pris le soin d’avoir retiré tout bloc d’alimentation externe et en ayant connecté un câble USB, maintenez le bouton “reset” au dos de la carte micro:bit et branchez le câble USB à votre ordinateur.
  Vous devriez voir apparaître dans votre explorateur de fichiers un lecteur appelé MAINTENANCE.

• Glissez et déposez le fichier de type “0253_kl26z_microbit_0x8000.hex” que vous avez téléchargé, sur la carte micro:bit, et attendez que la LED jaune système au dos s’arrête de clignoter.
  Quand la mise à jour est finie, la carte se réinitialisera, s’éjectera de l’ordinateur et réapparaîtra en mode lecteur MICROBIT normal.
• Et voilà, super facile. Non ? Aucune raison de ne pas le faire.