Ok, après quelques recherches, j'ai trouvé une solution, et je vais la parcourir étape par étape. Le problème était double.
-
Branchez la clé USB et déterminez l'appareil sur lequel elle est montée avec la commande :
sudo fdisk -l
Cette fois-ci, c'était /dev/sdc1 pour moi, je vais donc l'utiliser comme exemple.
-
Démonter l'appareil
umount /dev/sdc1
-
Je ne sais pas si nécessaire mais j'ai formaté le disque en FAT32, juste au cas où
sudo mkdosfs -n 'USB-Drive-Name' -I /dev/sdc -F 32
-
Maintenant, mon ISO utilisait isolinux et non syslinux. Je savais que cela fonctionnait avec les CD, alors j'ai compris que je devais appeler la commande isohybrid, qui permet à un ISO d'être reconnu par le BIOS à partir d'un disque dur.
isohybrid filename.iso
Vous pouvez en savoir plus sur cette commande ici, mais c'était la cause du message "Système d'exploitation manquant" Le premier problème a été corrigé, mais maintenant il disait "isolinux.bin était manquant ou corrompu"
-
L'étape suivante consiste à copier l'iso. Mon deuxième problème était ici, où je copiais sur la partition, sdc1, pas sur le périphérique, sdc.
sudo dd if=filename.iso of=/dev/sdc bs=4k
Cela semble fonctionner très bien, mais le forum où j'ai obtenu le dernier correctif, il a été recommandé de faire ce qui suit avant de débrancher l'appareil :
sync sudo eject /dev/sdc
Il s'agit d'un problème courant avec les clés USB SanDisk ou les clés non formatées en FAT32.
Si ce n'est ni l'un ni l'autre, il s'agit très certainement d'un problème lié à l'ordre de votre partition de clé ou au fichier syslinux.cfg.