Generating images

Images of this flake may easily be built by using nixos-generators. In our case, we use it as NixOS module to be able to build the system via garuda-nix.lib.garudaSystem. This is important, as this function exposes all the garuda-nix-subsystem modules for us to consume.

How to get going?

Let's build a regular dr460nixed ISO!

nix build .#nixosConfigurations.dr460nixed-desktop.config.formats.install-iso

You may also just run nix run .#iso, which builds an image using the install-iso format.

This is pretty much everything needed! The result will be available at ./result, which links to the corresponding path in /nix/store.

Likewise, all other configurations may be built by simply exchanging installer-iso with the desired format. Depending on what kind of image is being built it is needed to use the dr460nixed-base system to build the image.

nix build .#nixosConfigurations.dr460nixed-base.config.formats.sdcard

For a list of other supported formats please have a look here.

Cross-compiling

It is also possible to build images for other architectures, eg. the Raspberry Pi. To allow cross-compilation, please have a look at how to set up the required options here.

TLDR: add the following to your configuration and apply it:

{
  # Enable binfmt emulation of aarch64-linux.
  boot.binfmt.emulatedSystems = [ "aarch64-linux" ];
}

Provided images

Prebuilt images used to be provided via GitHub actions, though lately builds are seemingly hitting the resource limits of the free GitHub actions VMs. Therefore, ISO builds are currently only provided with new releases. In order to work around the filze size limit of release attachments, ISO files need to need to be downloaded as segments. To join them to a full file, you can do the following:

cat dr460nixed-desktop.iso.part-* > dr460nixed-desktop.iso