They are .iso and .img files on HardenedBSD and FreeBSD variants. Writing the file to a USB disk took hours and the finished USB filesystem when I finished appeared to not have been erased and recreated using unetbootin and I don't want to waste hours again like that.