Le but de cette liste est de tenter de référencer dans un premier temps, les installations des machines ayant un bios EFI en 32 bits. Les installations peuvent ne pas être réussies même totalement abandonnées à partir des sites de langue française à commencer par UBUNTU