Hi Duncan, On 09/09/16 22:23, Duncan Guthrie wrote: > Debian
You have to do it manually. E.g. netinstall: set root='usb0' linux /install.amd/vmlinuz initrd /install.amd/initrg.gz boot or something like that. Check debian's txt.cfg and gtk.cfg files using "cat" on the grub terminal, in the /isolinux/ directory of the USB drive. You will find appropriate options there. Use this: https://libreboot.org/docs/gnulinux/grub_boot_installer.html#manual_isolinux -- Leah Rowe Libreboot developer Use free software. Free as in freedom. https://www.gnu.org/philosophy/free-sw.html Use a free operating system, GNU/Linux. https://www.gnu.org/ Use a free BIOS. https://libreboot.org/ Support freedom. Join the Free Software Foundation. https://fsf.org/ Minifree Ltd, trading as Ministry of Freedom | Registered in England, No. 9361826 | VAT No. GB202190462 Registered Office: 19 Hilton Road, Canvey Island, Essex SS8 9QA, UK | Web: http://minifree.org/
signature.asc
Description: OpenPGP digital signature
