- Download https://voidlinux.org/download/ rpi-aarch64/glibc. Then from WSL on Windows machine:
# Extract .img file somwhere, e.g.:
cd /mnt/d/Downloads/temp/void-rpi-aarch64-20221001.img/
# expand it by 28GB, so it occupies full 32GB SD card
dd if=/dev/zero bs=10MiB of=void-rpi-aarch64-20221001.img conv=notrunc oflag=append status=progress count=2800