d'un autre côté je n'ai pas de machine x86 récentes type BayTrail mais j'ai cru comprendre que le support de Linux était assez aléatoire et son installation sur un EFI 32 bits pas super simple non plus,
D'après les infos que j'ai pu glaner ici et là, les BIOS sur les machines équipées de processeurs Intel Atom BayTrail sont de type UEFI 32 bits. La raison de cela serait que Windows 8, à l'origine, avait un bug qui l'empêchait de prendre en charge des BIOS UEFI 64 bits.
Depuis, ce bug a été corrigé par Microsoft, toutefois les machines équipées de BayTrail continueraient d'être équipées de BIOS UEFI 32 bits (si quelqu'un sait pourquoi, qu'il n'hésite pas poster).
Heureusement, plusieurs distributions Linux utilisent par défaut un kernel qui prends en charge le mixed-mode (par exemple Ubuntu 15.04 ou 14.10).
Toutefois l'image ISO de ces distributions ne contient pas toujours de bootloader 32 bits (comme Ubuntu 15.04 ou 14.10), il faudra alors en trouver et en installer un sur le médium de boot.
Après l'installation de la distribution, il faudra aussi installer un grub 32 bits (Ubuntu 14.10 ne contient pas ne paquet grub 32 bits), pour pouvoir rebooter.
[^] # BayTrail, UEFI 32 bits et GNU/Linux
Posté par Eric . En réponse au journal Tablette sous GNU/Linux. Évalué à 1.
D'après les infos que j'ai pu glaner ici et là, les BIOS sur les machines équipées de processeurs Intel Atom BayTrail sont de type UEFI 32 bits. La raison de cela serait que Windows 8, à l'origine, avait un bug qui l'empêchait de prendre en charge des BIOS UEFI 64 bits.
Depuis, ce bug a été corrigé par Microsoft, toutefois les machines équipées de BayTrail continueraient d'être équipées de BIOS UEFI 32 bits (si quelqu'un sait pourquoi, qu'il n'hésite pas poster).
Heureusement, plusieurs distributions Linux utilisent par défaut un kernel qui prends en charge le mixed-mode (par exemple Ubuntu 15.04 ou 14.10).
Toutefois l'image ISO de ces distributions ne contient pas toujours de bootloader 32 bits (comme Ubuntu 15.04 ou 14.10), il faudra alors en trouver et en installer un sur le médium de boot.
Après l'installation de la distribution, il faudra aussi installer un grub 32 bits (Ubuntu 14.10 ne contient pas ne paquet grub 32 bits), pour pouvoir rebooter.