Debian 10 BIOS/UEFI

1. Cargar netinst en un USB (o en un disco, aunque cada vez hay menos). 

2. Activar UEFI/Secure boot. En el HP 250 G6 que estoy probando (se accede mediante F10): 

    2.1. Virtualizacion Technology está desactivado. Lo activo para otras tareas. 

    2.2. Boot Options|Legacy Support está activo. Lo desactivo. 

    2.3. Load HP Factory Default Keys para poder activar. 

     2.4. Secure Boot está desactivado. Lo activo. 

    2.5. En este caso ya arranca desde USB por defecto, pero se puede seleccionar con F9. 

     2.6. F10 para guardar. 

3. Arrancar desde netinst. Elijo español (y opciones asociadas) por comodidad (en principio, todo el proceso funciona tanto en modo texto como gráfico). 

4. Conectar a red para poder descargar paquetes. 

5. Elegir nombre de equipo (y de dominio si corresponde). 

6. Configurar usuarios y conraseñas. Configurar zona horaria. 

7. Si pregunta, forzar la instalación UEFI (¿no funciona si se sale del gestor de particiones?). También puede interesar borrar el MBR desde una consola (Ctrl-Alt-F2 y Alt-F5 para volver al modo gráfico) ejecutando dd if=/dev/zero of=/dev/sdX bs=512 count=1 si no importa el contenido del disco destino (sdX es el disco destino: habitualmente sda en ordenadores con un solo disco interno). 

8. En particionado de discos: 

    8.1. Manual 

    8.2. Eliminar particiones si corresponde 

    8.3. Crear una partición nueva de 1MB y tipo "Área reervada de la BIOS de arranque" 

    8.4. Crear una partición de ¿50? MB y tipo "Partición del sistema EFI" 

    8.5. Opcionalmente, crear una partición de "área de intercambio" 

    8.6. Crear las particiones que nos interesen (como mínimo la partición raíz de Linux) 

    8.7. Seleccionar repositorios y programas 

    8.8. No reiniciar de momento 

9. Para configurar la compatibilidad con BIOS: 

    9.1. Entrar en terminal (Control-Alt-F2) 

    9.2. Ejecutar

mount --bind /proc /target/proc
mount --bind /sys /target/sys
mount --bind /dev /target/dev
mount --bind /run /target/run
mount --bind /dev/pts /target/dev/pts
chroot /target /bin/bash
apt install grub-pc-bin firmware-linux
dd if=/dev/zero of=/dev/sdX1
grub-install --target=-i386-pc /dev/sda

10. Para configurar como extraíble:

grub-install --target=x86_64-efi --recheck --removable --efi-directory=/boot/efi --boot-directory=/boot