Batocera .linux does officially distribute ISO files ; instead, it provides compressed image files in .img.gz format. To use Batocera, you typically download the image for your specific hardware and "flash" it onto a USB drive or SD card. Official Downloads