Première méthode:
Ok, j'ai démarré ma boîte UEFI pour vérifier. Premier indice, près du sommet de dmesg
. Cela ne devrait pas apparaître si vous êtes démarré via le BIOS:
[ 0.000000] efi: EFI v2.31 by American Megatrends
[ 0.000000] efi: ACPI=0xd8769000 ACPI 2.0=0xd8769000 SMBIOS=0xd96d4a98
[ 0.000000] efi: mem00: type=6, attr=0x800000000000000f, range=[0x0000000000000000-0x0000000000001000) (0MB)
⋮
Deuxième méthode:
$ sudo efibootmgr
BootCurrent: 0000
Timeout: 0 seconds
BootOrder: 0000
Boot0000* debian
Si vous ne l'êtes pas, les éléments suivants doivent apparaître:
$ sudo efibootmgr
EFI variables are not supported on this system.
Notez que le paquet efibootmgr devra être installé. Vous pouvez également essayer de lister les variables EFI:
$ efivar -l
... over 100 lines of output ...
Troisième méthode:
Vérifiez si vous avez un /boot/efi
:
$ df -h --local | grep /boot
/dev/sda2 229M 31M 187M 14% /boot
/dev/sda1 120M 250K 119M 1% /boot/efi
À l'intérieur de cette partition doivent figurer les fichiers exécutés par UEFI.
Si vous utilisez l'une de ces méthodes, les entrées correspondantes n'apparaissent pas. Il est fort probable que vous n'utilisiez pas UEFI.