Builds should be produced for linux/arm64 (i.e. Raspberry Pi). This appears to be possible with docker buildx, but more testing needs to be done to check this works.