BTW, it isn't even necessary to make a bootable USB! If you have a working
GNU/Linux OS on your libreboot machine, then just download Debian's live iso to
your machine, put an entry like this somewhere in your grub.cfg, reboot, and
select it from the grub menu. Worked like a charm for me.
Obviously:
1. change the path and filename in "set isofile" to match your filename and
where you put it, and
2. change the partition in "fromiso" as appropriate.
menuentry 'Debian live iso in my home folder' {
set
isofile='/home/bruno/Downloads/debian-live-8.3.0-amd64-mate-desktop.iso'
loopback loop $isofile
linux (loop)/live/vmlinuz boot=live config fromiso=/dev/sda4/$isofile
initrd (loop)/live/initrd.img
}
Enjoy!
ref:
https://wiki.archlinux.org/index.php/Multiboot_USB_drive#Live_install_medium
