Download the Official Imager
Raspberry Pi Ltd provides a cross-platform GUI tool called Raspberry Pi Imager that handles downloading the OS and writing it to the SD card in one step.
Download it from the official page:
https://www.raspberrypi.com/software/
Choose the Right OS
In the Imager, select:
- Raspberry Pi OS (64-bit) for the Pi 4 MASTER node โ better performance with the ARM64 kernel.
- Raspberry Pi OS (32-bit) for the Pi 3 B+ SLAVE nodes โ maximum compatibility.
arm64/aarch64. Pi 3 running 32-bit uses armv7l / armhf. Make sure you pull Docker images tagged for the right architecture.
Flash Steps
- Insert the micro SD card into your USB adapter and connect to your computer.
- Open Raspberry Pi Imager.
- Click "Choose OS" โ Raspberry Pi OS.
- Click "Choose Storage" โ select your SD card.
- Click the โ gear icon (Advanced Options) โ set hostname, enable SSH, set a username/password, and optionally pre-configure WiFi.
- Click "Write" and wait for the process to finish.
- Repeat for all 4 SD cards (use a different hostname each time: MASTER, SLAVE1, SLAVE2, SLAVE3).
Verify the Flash
The Imager automatically verifies the written data. If verification fails, try a different SD card โ low-quality cards are a common source of random cluster failures.
2ร Backup Cards for MASTER
The parts list includes 6 SD cards for 4 nodes. Keep 2 spares as full backups of the MASTER card. You can clone a card using the Imager's "Backup" option, or on Linux with:
sudo dd if=/dev/sdX of=master-backup.img bs=4M status=progress
# Restore from backup:
sudo dd if=master-backup.img of=/dev/sdX bs=4M status=progress
Replace /dev/sdX with the actual device path (check with lsblk).