Oh, it’s been a few years, if I remember right it was an iso, I burnt to the SD and simply changed the details in a config.txt, I would have to dig out my old laptop to get the details.