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.
amd64network 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/booton it. Copy these files:
- From Syslinux,
efi64/efi/syslinux.efi, renamed and copied to
- Also from Syslinux,
efi/bootwith 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.
Post a Comment
Please be polite. I will delete any comments I wouldn’t want my mother to read.