Using disko to generate raspberry pi sd card images

[crazyminecuber]

Is it possible to generate SD card images and deploy to a Raspberry Pi using disko to configure the sd image partitions? When I tried, it got errors because the SD card image generator (nixos/modules/installer/sd-card/sd-image-aarch64-new-kernel-no-zfs-installer.nix) tries to use ext4 as root file system, and therefore it does not want to compile. I think this would be really nice to use the same disko configuration format for generating SD images as you use for installing x86 systems.

The main problem I want to solve is to be able to use the btrfs file system to use impermanence, while also being able to generate the sd-card image from scratch.