Debian Installer with Libreboot

Libreboot is (currently) based on coreboot + grub payload with some autodetection of linux (and — I think — other Free OSs) that in my experience works well with the installed OS, but not so much with USB keys, and specifically those of the Debian installer.

Booting them is not that hard, but require writing the right incantation at the libreboot/grub command line, and finding those required some time, so they are documented here for future reference.

Booting a 64 bit installation from the multiarch netboot:

linux (usb0)/install.amd/vmlinuz initrd (usb0)/install.amd/initrx boot

Booting a 32 bit installation from the multiarch netboot:

linux (usb0)/install.386/vmlinuz initrd (usb0)/install.386/initrx boot

Booting a 64 bit installation as above in auto mode, with a preseed file:

linux (usb0)/install.amd/vmlinuz auto=true url=http://webserver/path/preseed.cfg
initrd (usb0)/install.amd/initrx
boot