Build Docker image for building micro sd card raspberry pi 4 nixos images
docker build -t sd-image-builder . --platform linux/arm64Build raspberry pi 4 nixos image
docker run -it sd-image-buildercp image from container
docker cp a7815e286ed0:/nix/store/s31baywpx15yk7i4zq6zd6byg9lvbi43-nixos-sd-image-23.11.20231015.12bdeb0-aarch64-linux.img/sd-image/nixos-sd-image-23.11.20231015.12bdeb0-aarch64-linux.img.zst .decompress with zstd https://facebook.github.io/zstd/
zstd --decompress "nixos-sd-image-23.11.20231015.12bdeb0-aarch64-linux.img.zst"Use BalenaEtcher https://etcher.balena.io/ or dd https://osxdaily.com/2018/04/18/write-image-file-sd-card-dd-command-line/ to flash micro sd card