It is now working. I didn't pass the options that were specified in the ISOLINUX config file.
On 10 September 2016 12:56:04 BST, Leah Rowe <[email protected]> wrote: >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/
