Environnement de compilation
Installer Linux sous Windows 10
- Aller dans Panneau de configuration
- Programmes
- Activer ou désactiver des fonctionnalités Windows
- Cocher Sous-système Windows pour Linux

- Cliquer sur OK
- Redémarrer l’ordinateur
- Quand l’ordinateur a redémarré, aller dans Microsoft Store et taper Linux dans la barre de recherche
- Installer la distribution de votre choix (nous recommandons Ubuntu 18.04 LTS)
- Pour lancer la distribution installée, ouvrir le menu démarrer et la rechercher

Installer l’environnement de développement Linux
- Taper les commandes suivantes pour installer la chaine de compilation :
fablab@DESKTOP-73ELB6A:~$ sudo add-apt-repository ppa:team-gcc-arm-embedded/ppa fablab@DESKTOP-73ELB6A:~$ sudo apt update fablab@DESKTOP-73ELB6A:~$ sudo apt install gcc-arm-embedded build-essential