Démarrage à froid depuis micro-SD

Le démarrage depuis SD permet à une ULX3S programmée de repartir après une coupure complète d’alimentation et de lancer Doom sans PC de développement connecté.

Contenu de la carte

Placez ces fichiers dans le répertoire racine d’une carte micro-SD formatée en FAT :

DOOM.IMG
DOOM.WAD

DOOM.WAD est le nom de fichier IWAD canonique utilisé par le flux de démarrage à froid actuel.

Fichiers Hazard3-Doom sur le volume HAZARD3-SD

Contenu HAZARD3-SD - l’image de l’application Doom et l’IWAD à la racine de la carte.

Sous Windows, la carte préparée peut apparaître comme un volume tel que HAZARD3-SD :

Volume HAZARD3-SD dans l'Explorateur de fichiers Windows

Volume Windows HAZARD3-SD - vérifiez la carte attendue avant de copier ou remplacer des fichiers.

Prise en charge du système de fichiers

Le moniteur prend en charge les fichiers du répertoire racine FAT16/FAT32 avec des noms 8.3. Les fichiers fragmentés sont pris en charge.

Séquence de démarrage à froid

  1. L’ECP5 charge sa configuration depuis la flash SPI embarquée.

  2. La partie basse de l’EBR interne contient l’image d’initialisation du moniteur résident.

  3. Hazard3 démarre à son point d’entrée reset/moniteur.

  4. La SDRAM est initialisée.

  5. Le moniteur initialise la carte SD et monte le système FAT.

  6. DOOM.IMG est chargé en SDRAM et validé.

  7. DOOM.WAD est localisé et chargé dans sa région réservée.

  8. Le moniteur lance Doom.

Diagnostics du moniteur

Utilisez c pour afficher l’état SD/FAT et les compteurs actuels. Utilisez b pour relancer manuellement le chemin de démarrage SD.

Un rapport d’état sain contient notamment des informations comme :

sd_initialized=YES
type=SDHC/SDXC
fat_type=FAT32
mounted=YES
wad=DOOM.WAD

Référence du connecteur micro-SD

Brochage des contacts d'une carte micro-SD

Référence des contacts micro-SD - utile pour suivre les signaux partagés ESP32/FPGA ou utiliser une carte d’adaptation pendant le débogage.

Broches SD partagées ESP32/FPGA

Sur ULX3S, le connecteur micro-SD est également relié à des GPIO de l’ESP32. Lorsque Hazard3 possède la carte SD, le firmware ESP32 doit laisser les GPIO 14, 15, 2 et 13 en haute impédance afin de ne pas entrer en conflit avec l’interface SD du FPGA.

Important

La propriété du bus SD est une question électrique, pas seulement un mutex logiciel. Les deux dispositifs ne doivent jamais piloter activement le bus partagé en même temps.

Voir Prise en charge SAO / I2C pour le mécanisme distinct d’accès partagé FPGA/ESP32 utilisé pour le trafic SAO.