8d092270d2
This changes the bootloader for iso generation from Grub to syslinux. In addition this adds USB booting support, so that "dd" can be used to burn the generated ISO to USB thumbdrives instead of needing applications like UnetBootin. |
||
---|---|---|
.. | ||
channel.nix | ||
installation-cd-base.nix | ||
installation-cd-graphical-new-kernel.nix | ||
installation-cd-graphical.nix | ||
installation-cd-minimal-new-kernel.nix | ||
installation-cd-minimal.nix | ||
iso-image.nix | ||
system-tarball-fuloong2f.nix | ||
system-tarball-pc-readme.txt | ||
system-tarball-pc.nix | ||
system-tarball-sheevaplug.nix | ||
system-tarball.nix |