Terry,
?
If you're looking for the stock firmware(32bit) that ships with the sBitx, you can find it here :
?
If you are looking for the 64 bit firmware by JJ and team, you can find it here:
?
I hope you have a backup of the hardware settings as you will need to replace that on the new SD card.
I have had good luck with Sandisk and Samsung EVO cards in the past. I'd suggest a 64GB SDcard, but 32GB card will do just fine.
Hope this helps.
73 and Happy New Year,
Ragav
VU3VWR