Danny Milosavljevic transcribed 1.4K bytes: > 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. Woo! Thanks for your work on this :) I'll test this tomorrow evening. Exciting news. > (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). > > To generate one, for example do this: > > guix system disk-image -t iso9660 foo.scm # will print the name of the directory that contains "guixsd.iso" in the end. > > where foo.scm contains: > > (use-modules (gnu)) > (use-package-modules linux bootloaders) > (use-service-modules base networking ssh) > > (operating-system > (host-name "beagle-bone-black") > (timezone "Europe/Zurich") > (locale "en_US.UTF-8") > > (bootloader (grub-configuration (device "/dev/vda"))) > (kernel linux-libre) > > (file-systems > (cons > (file-system > (mount-point "/") > (type "iso9660") > (title 'label) > (device "gnu-disk-image")) > %base-file-systems)) > > (users > (cons* > (user-account > (name "test") > (group "users") > (supplementary-groups '("wheel" "video")) > (home-directory "/home/test") > (password "sa5JEXtYx/rm6")) ; Password is pass. > %base-user-accounts)) > > (services > (cons* > (dropbear-service) > (dhcp-client-service) > %base-services))) > > > > -- ng0 GnuPG: A88C8ADD129828D7EAC02E52E22F9BBFEE348588 GnuPG: https://n0is.noblogs.org/my-keys https://www.infotropique.org https://krosos.org