An installation image for USB sticks can be downloaded from
where system is one of:
for a GNU/Linux system on Intel/AMD-compatible 64-bit CPUs;
for a 32-bit GNU/Linux system on Intel-compatible CPUs.
Make sure to download the associated .sig file and to verify the authenticity of the image against it, along these lines:
$ wget ftp://alpha.gnu.org/gnu/guix/guixsd-usb-install-0.13.0.system.xz.sig $ gpg --verify guixsd-usb-install-0.13.0.system.xz.sig
If that command fails because you do not have the required public key, then run this command to import it:
$ gpg --keyserver pgp.mit.edu --recv-keys 3CE464558A84FDC69DB40CFB090B11993D9AEBB5
and rerun the
gpg --verify command.
This image contains a single partition with the tools necessary for an installation. It is meant to be copied as is to a large-enough USB stick.
To copy the image to a USB stick, follow these steps:
xz -d guixsd-usb-install-0.13.0.system.xz
dd if=guixsd-usb-install-0.13.0.x86_64 of=/dev/sdX sync
Access to /dev/sdX usually requires root privileges.
Once this is done, you should be able to reboot the system and boot from the USB stick. The latter usually requires you to get in the BIOS’ boot menu, where you can choose to boot from the USB stick.
See Installing GuixSD in a VM, if, instead, you would like to install GuixSD in a virtual machine (VM).