Instalación de Debian en un portátil con Windows 8 y UEFI

Este es un resumen en castellano del artículo “Instal·lació de Debian en un portàtil amb Windows 8 i UEFI”.

Actualizado en mayo de 2015.
Primera versión: mayo 2014.

Equipo: Toshiba Satellite L50-A-1EH con Windows 8.1

Distribución: Debian GNU/Linux 7.5 “Jessie”

Descargamos la imagen pertinente de Debian, en nuestro caso una imagen iso de testing, arquitectura amd64, el DVD1 o el CD1 con el entorno de escritorio de nuestro agrado.

La copiamos a un pendrive con el comando dd if=imatge.iso of=/dev/sdx bs=4M; sync siendo /dev/sdx la unidad que corresponde a nuestro disco usb. ¡Ojo con equivocarse!

En el portátil entramos en la configuración del firmware (antigua BIOS) pulsando la tecla F2 nada más encender la máquina.

Entramos en Security y marcamos Secure Boot disabled.

Vamos a Advanced y marcamos Boot Speed como normal (En otros equipos esta opción aparecerá como Fast Boot, y habrá que dejarla en off.

Entramos en Windows. Vamos al Panel de control, Opciones de energía, Acción del botón de encendido y desmarcamos la casilla que pone inicio rápido.

Vamos a las Herramientas administrativas, Administración de equipos y seleccionamos Administrador de discos. Seleccionamos la partición donde está instalado Windows, que será la más grande y la reducimos para hacer sitio a Debian. Dejamos el espacio libre tal cual.

Reiniciamos el ordenador y arrancamos desde el pendrive con el instalador de Debian (pulsar tecla F12 para acceder al menú de dispositivos).

Instalamos Debian con normalidad, utilizando el espacio que liberamos anteriormente.

Si el fabricante ha hecho bien su trabajo al reiniciar de nuevo nos aparecerá el menú de selección con los dos sistemas operativos disponibles.

En este caso no es así y arranca directamente Windows, haciendo caso omiso de grub.

Para solucionarlo arrancamos el ordenador con un live-cd o live-usb y accedemos a la partición de arranque UEFI. Entramos en EFI/Boot y hacemos una copia del archivo bootx64.efi, por si necesitáramos restaurarlo después. Vamos a EFI/debian y copiamos el archivo grubx64.efi a EFI/Boot, y lo renombramos como bootx64.efi . Así forzaremos a que el equipo arranque grub al inicio.
ACTUALIZACIÓN IMPORTANTE: Este método tiene un problema. Cada vez que actualicemos grub tendremos que repetir este procedimiento para tener siempre la última versión de grubx64.efi en su sitio. En caso contrario el ordenador no arrancará.

Notas post-instalación

Hardware operativo tras la instalación de Debian:

Wifi (Qualcomm Atheros QCA9565/AR9565)	SI
Audio (Intel HDA PCH)	SI
Vídeo (Nvidia GeForce GT740M, driver nouveau)	SI
Webcam (Toshiba)	SI
Bluetooth (Atheros)	NO
Suspender a RAM	SI
Hibernar	SI

Para hacer funcionar el bluetooth es necesario instalar el paquete firmware-atheros, disponible en la rama non-free (desactivada por defecto) y algún gestor gráfico como bluedevil o gnome-bluetooth según el caso.