Since it doesn’t all seem to be documented in one place, here’s how to install Debian GNU/Linux from a USB key install of a DVD, but using UEFI. This supplements the “Manually Copying Files to the USB Stick” section of the manual.
You will need:
- A FAT-formatted USB flash drive.
- An
amd64
network install ISO image from www.debian.org/CD/netinst/, or a larger CD or DVD installer image if you already have one. - The latest GTK initrd.gz and vmlinuz images from ftp.debian.org.
- The latest version of Syslinux from www.kernel.org.
efi/boot
on it. Copy these files:vmlinuz
andinitrd.gz
intoefi/boot
.- From Syslinux,
efi64/efi/syslinux.efi
, renamed and copied toefi/boot/bootx64.efi
. - Also from Syslinux,
efi64/com32/elflink/ldlinux/ldlinux.e64
copied intoefi/boot
with the same name. - And the ISO image into the root of the flash drive.
Create a new text file efi/boot/syslinux.cfg
with these contents:
PROMPT 1 TIMEOUT 2 DEFAULT linux LABEL linux KERNEL vmlinuz INITRD initrd.gz APPEND vga=788
No other steps are necessary to make the flash drive bootable. Perhaps after disabling Secure Boot, any recent, reasonably compliant PC will boot directly into the Debian installer.