ISO Debian (Download)
O tipo ISO é uma extensão de arquivo que normalmente faz referência a uma imagem de algum disco óptico, ou seja, o arquivo ISO do Debian é uma imagem do disco em formato de arquivo digital.
Precisamos da ISO do Debian para realizar a instalação dele no VirtualBox. Siga os passos abaixo para efetuar o download:
Ao acessar o link acima, percorra a página até esta sessão:
Figura 1 - Imagem da sessão de downloads do site debian.org
Se o seu sistema operacional hospedeiro (atual) for de 32 bits, clique na opção i386, e, se for de 64 bits, clique em amd64, ambas indicadas pelas setas vermelhas na Figura 1. Ao fazer isso você será direcionado para uma página em que constam inúmeros arquivos ISO disponíveis para download. Baixe o arquivo com a máscara debian-*-1.iso (o asterisco em vermelho indica que você deve considerar o arquivo que comece com debian-, tenha qualquer nome no meio e finalize com -1.iso). Caso prefira fazer download da versão que estou usando no momento em que escrevo esta obra, basta acessar um dos links abaixo:
Link para download direto (respectivamente 64 e 32 bits):
https://cdimage.debian.org/debian-cd/current/amd64/iso-cd/debian-9.0.0-amd64-netinst.iso https://cdimage.debian.org/debian-cd/current/i386/iso-cd/debian-9.0.0-i386-netinst.iso