Danny Milosavljevic writes: > Thanks! > > Pushed. > > If we want we can (in the future) provide only the iso9660 image on the homepage (for x86_64). > > It will work from CD and USB flash drive - that should cover all the options. > > (Usually, ARM systems have a more involved boot process and will not work, neither from SD card nor from CD-ROM - and booting from USB flash drive is out of the question). > > Of course it would be nice if people could test the iso9660 image a bit (especially on UEFI systems of which I have none). It does not work on UEFI. I tested in qemu like this: qemu-system-x86_64 -bios $(guix build ovmf)/share/firmware/ovmf_x64.bin \ -m 256M -enable-kvm -boot c -cdrom /gnu/store/...-disk-image/guixsd.iso There doesn't seem to be an EFI system partition? How did you dodge my nasty partition hack :) Also, the derivation creates two files alongside the ISO, are those actually required or can we make it it return the ISO directly? Impressive work nonetheless! Many users have asked for ISO support for use with e.g. hosting providers. And it's really cool to be able to create a CDROM/USB, BIOS/UEFI* multi-hybrid at a whim! * Soon™