Os arquivos ISO, disponíveis para várias distribuições Linux, são: