Next: , Previous: , Up: System Installation   [Contents][Index]

6.1.3 USB Stick Installation

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
$ 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 --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:

  1. Decompress the image using the xz command:
    xz -d guixsd-usb-install-0.13.0.system.xz
  2. Insert a USB stick of 1 GiB or more into your machine, and determine its device name. Assuming that the USB stick is known as /dev/sdX, copy the image with:
    dd if=guixsd-usb-install-0.13.0.x86_64 of=/dev/sdX

    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).

Next: , Previous: , Up: System Installation   [Contents][Index]