Uefi, bios… Même avec des firmware atypique (autres architecture que x86).
Ça boot impec