Aller au contenu
Eliott65Sondewiki
Sommaire

Où en est la sonde

En deux jours, la sonde est passée d’une idée à un outil qui flashe Eliott65 par le Wi-Fi. Voici ce qui est vérifié sur la vraie carte, et ce qui ne l’est encore que sur le PC.

Vérifié sur la carte

ÉlémentRésultat
Wi-Fi et nomla sonde rejoint le réseau et répond à eliott65sonde.local ; ports 4441 et 4442 ouverts
SWDidentifiant du RP2040 lu (DPIDR 0x0BC12477), ROM lue juste, deux cœurs examinés
OpenOCD64 Kio lus en 0,53 s à 4 MHz (120 Kio/s), identiques à la lecture par le journal
Flashage d’Eliott65v0.58.0 flashée par le Wi-Fi à 200 kHz, vérifiée, en 1 min 27 s
Journal localrelevé de 10 s toutes les 2 ms sans erreur ; 256 Kio de SRAM lus en 4,7 s
Mise à jour par le réseau18 s de bout en bout ; plusieurs mises à jour de suite réussies
Retour à l’ancien firmwareune image en panne remplacée seule par l’ancienne en 52 s

Vérifié sur le PC seulement

  • Le déclencheur et l’instantané du journal local : testés contre la cible simulée. Sur la carte, une première surveillance est en cours depuis le 16 octobre (la démonstration GRAPHE d’Eliott65, relevée chaque seconde) ; son résultat n’est pas encore connu.
  • Une image qui démarre mais n’est jamais validée (3 fois 2 minutes) : couverte par le banc de l’amorce et par les essais de bout en bout sur le PC, pas essayée sur le Pico W.

Ce qui reste à faire ou à comprendre

  • Les outils d’Eliott65 par le Wi-Fi : c’est fait côté Eliott65 depuis sa v0.59 (une variable, E65_SONDE, fait passer tous ses outils par la sonde). Reste à mesurer leur surcoût par rapport à l’USB.
  • Les erreurs en rafale sur le SWD : avec le câblage actuel, les longues lectures sans pause échouent au-delà de 200 à 400 kHz. La cause n’est pas établie : sans doute le câblage, mais il faudrait un oscilloscope pour le prouver. Voir Les essais sur la carte.
  • L’amorce ne se met à jour que par BOOTSEL. Elle est petite et ne change presque jamais.

Chronologie

VersionCe qu’elle apporte
0.1Processeur CMSIS-DAP portable, cible simulée, serveur TCP sur le PC ; OpenOCD s’y connecte
0.2Firmware du Pico W : SWD par PIO, Wi-Fi, serveur sur le port 4441, nom mDNS
0.3Programme PIO essayé au simulateur, face à une cible simulée bit à bit
0.4Journal local sur le port 4442 ; premier essai sur le Pico W, puis sur la carte
0.5Mise à jour par le réseau ; broches SWD à 2 mA ; correction du redémarrage après une mise à jour
0.6Amorce : retour seul à l’ancien firmware si le nouveau ne fait pas ses preuves

Le détail de chaque étape est dans le journal de développement du dépôt ; ce wiki en reprend l’essentiel par thème.

Sources dans le dépôt : README.md, docs/agile/BACKLOG.md, Eliott65 : docs/journal/15-retour-sur-la-carte.md, docs/journal/04-essai-reel.md, docs/journal/06-integrite-du-signal.md, docs/journal/07-amorce.md.