es. Les notes proposée ci-dessous permettent de recréer une image docker de taille réduite (passant de 8 ... ttps://github.com/RIOT-OS/riotdocker.git
</code>
Créer une branche locale et modifier le fichier ./riotb... it checkout -n esp32_only
cd riotbuild/
</code>
Créer l'image Docker à partir du Dockerfile
<code bash>... one https://github.com/RIOT-OS/RIOT.git
</code>
Créer répertoire pour le projet
Pour lancer la compila
