Which card to use
I typically ship 32 gig microSD cards with Dexter these days.
Where to get the base image
You will need to decompress with 7zip ( https://www.7-zip.org/ ).
How to write the new image
The procedure for writing the new SD card image will be the same for any Raspberry Pi application.
Current Pi instructions are : https://www.raspberrypi.org/documentation/installation/installing-images/README.md
Alternate instructions : https://elinux.org/RPi_Easy_SD_Card_Setup#Create_your_own
How to use the SD card once you have written an image to it
- Make sure Dexter's USB drive is inserted into Dexter's Raspberry Pi.
- Insert newly imaged SD card into Dexter's Raspberry Pi.
- Power on. If all goes well, the SD card will setup itself using data from the USB drive and you will be up and running in a few minutes. Dexter's video output will show a progress bar.