Estou precisando baixar alguns arquivos do repositório do debian. Como faço por exemplo para baixar o arquivo vmlinuz do repositório? PS: Eu estou querendo os arquivos que estão dentro dos pacotes. grato Juliano