Appareils compatibles

iodéOS est disponible pour une variété d’appareils. Consultez notre site web pour obtenir la liste la plus à jour des appareils officiellement pris en charge.

Installation automatique

Pour la plupart des appareils compatibles, nous recommandons la méthode d’installation automatique :

1. Téléchargez l’installateur iodéOS pour votre appareil depuis notre site web
2. Suivez les instructions spécifiques à votre appareil fournies dans l’installateur
3. Patientez pendant l’installation
4. Configurez votre nouvel appareil iodéOS

Installation manuelle

Pour les utilisateurs avancés qui préfèrent une installation manuelle, veuillez suivre nos instructions (anglais) ici.

Vérification des builds iodéOS (avancé)

Ce guide explique comment vérifier l’authenticité des fichiers de build iodéOS, afin de s’assurer qu’ils n’ont pas été altérés. Vous devez avoir installé à la fois gpg et minisign sur votre ordinateur.

1. Récupérer la clé publique du développeur iodéOS

Les signatures des builds iodéOS sont vérifiées à l’aide d’une clé publique associée à dev@iode.tech. Pour obtenir cette clé :

1. Importez la clé publique à l’aide de la commande suivante :

gpg --keyserver keys.openpgp.org --recv-keys 81A6FE97DDC0DFC50342C4326BF1062FFC04ED1A

Vous devriez voir :

gpg: key 6BF1062FFC04ED1A: public key "iodé Technologies (https://iode.tech) <dev@iode.tech>" imported
gpg: Total number processed: 1
gpg:               imported: 1

2. Télécharger la clé de signature du build

La clé de signature du build (minisign.pub) et sa signature PGP (minisign.pub.sig) sont hébergées ici.

1. Téléchargez les deux fichiers dans votre répertoire de travail.
2. Vérifiez la signature de minisign.pub à l’aide de la clé développeur iodéOS :

gpg --verify minisign.pub.sig minisign.pub

Si la vérification réussit, vous verrez :

gpg: Signature made Wed 05 Nov 2025 14:29:34 CET
gpg:                using EDDSA key 81A6FE97DDC0DFC50342C4326BF1062FFC04ED1A
gpg:                issuer "dev@iode.tech"
gpg: Good signature from "iodé Technologies (https://iode.tech) <dev@iode.tech>" [unknown]
gpg: WARNING: This key is not certified with a trusted signature!
gpg:          There is no indication that the signature belongs to the owner.
Primary key fingerprint: 81A6 FE97 DDC0 DFC5 0342  C432 6BF1 062F FC04 ED1A

3. Vérifier le fichier de build

Maintenant que vous disposez de la clé minisign.pub vérifiée, utilisez-la pour vérifier l’authenticité de n’importe quel fichier de build iodéOS.

1. Placez les fichiers suivants dans le même répertoire :
   • Le fichier de build (par exemple iode-5.18-20251102-arm64_ab.img.xz)
   • Son fichier de signature correspondant (par exemple iode-5.18-20251102-arm64_ab.img.xz.minisig)
   • La clé minisign.pub
2. Exécutez la commande de vérification :

minisign -Vm iode-5.18-20251102-arm64_ab.img.xz

Si le build est authentique, vous verrez :

Signature and comment signature verified
Trusted comment: Signed by iodé Technologies

Résumé

• Importer la clé développeur iodéOS.
• Télécharger et vérifier la clé de signature du build.
• Utiliser la clé pour vérifier le fichier de build.

Ce processus garantit que le build iodéOS que vous avez téléchargé est authentique et n’a pas été modifié. De même, cette même procédure décrite ci-dessus peut également être appliquée à l’installeur automatisé d’iodé (pour Windows ou Linux), qui dispose lui aussi d’un fichier .minisig vérifiable dans le dossier de téléchargement.