Primer método:
Ok, encendí mi casilla UEFI para marcar. Primera pista, cerca de la parte superior de dmesg
. Esto no debería aparecer si se inicia a través de 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)
⋮
Segundo método:
$ sudo efibootmgr
BootCurrent: 0000
Timeout: 0 seconds
BootOrder: 0000
Boot0000* debian
Si no lo está, debería aparecer lo siguiente:
$ sudo efibootmgr
EFI variables are not supported on this system.
Tenga en cuenta que tendrá que tener instalado el paquete efibootmgr. También puede intentar enumerar las variables EFI:
$ efivar -l
... over 100 lines of output ...
Tercer método:
Comprueba si tienes un /boot/efi
:
$ df -h --local | grep /boot
/dev/sda2 229M 31M 187M 14% /boot
/dev/sda1 120M 250K 119M 1% /boot/efi
Dentro de esa partición deberían estar los archivos que UEFI ejecuta para arrancar.
Si al usar cualquiera de estos métodos no aparecen las entradas relevantes, es muy probable que no esté utilizando UEFI.