But you can boot it from the EFI shell instead. You will need a flash drive of at least 1 GB.
- Download Live ISO: https://www.debian.org/CD/live/
- Format USB flash drive as FAT32.
- Extract the ISO to the flash drive.
- Download UEFI shell: https://svn.code.sf.net/p/edk2/code/tru ... Shell/X64/
- On the USB drive create a EFI folder and a BOOT sub folder, then copy Shell.efi to EFI\BOOT\Bootx64.efi
- Using a text editor, create a file called liveboot.nsh on the root of the USB drive and paste the following into the file:
- Code: Select all
live\vmlinuz initrd=live\initrd.img append boot=live components
- Reboot PC and enter the UEFI Boot Menu, usually by pressing F8 or F12.
- Select the name of your USB flash drive (If you have CSM enanbled in BIOS you will see it twice, but one will have a UEFI: prefix, select that.).
- When EFI shell has loaded just type liveboot.nsh and press enter, it should then boot Debian.
This works similarly on any distro that has a EFI stub enabled kernel which most distros have, but you will have to figure out location of linux and initrd files and what boot parameters you need, you can find those by looking at grub or isolinux config files.
There is many distros that has no official UEFI support but they work fine in UEFI mode when booted from the EFI shell.