Pour les matériels pas chers mixant un BIOS/UEFI 32 bit avec un processeur autorisant les OS 64 bits les ISOs classiques ne fonctionnent pas. Pour pouvoir fonctionner ils doivent contenir les paquets 32 bits de GRUB.
Un script situé à l'adresse https://linuxiumcomau.blogspot.com/2022/04/customizing-ubuntu-isos-documentation.html permet d'injecter les programmes 32 bit manquants aux distributions 64 bit (famille Ubuntu pricipalement).
2 exemples d'ISOs 64 bit contenant en plus les fichiers GRUB 32 bit aux adresses :
On a constaté samedi dernier que les clé ventoy autorisaient le démarrage des ISOs 64 bit et leur installation sur ces machines. Le problème avait lieu après lors du redémarrage. Ça ne fonctionnait pas. Juste après l'installation il est peut-être possible d'installer les paquets GRUB 32 bit afin que le redémarrage devienne possible.