I've finally received all my Tiny Arcades AND I managed to figure out how to deploy SD card games AND I've finally figured out how to compile a Tiny Arcade binary, including generating a TSV file
- see the attachement.
Just unzip the folder on an SD card that works for your arcade - that should do!