Estás a falar de linux-image* e kernel-headers*?
No repo (stable/Jessie) da Debian encontras os ficheiros que necessitas:
https://packages.debian.org/jessie/kernel/
Hth,
anthonws.
Boas... Eu sei, mas para isso instalava-os com o apt-get...
Mas eu não queria os files dos repos, mas sim uns mais recentes, tipo 4.1.10 ou a 4.2.3 que é a última stable a avaliar pelo site
https://www.kernel.org/.
Tu não deves proceder assim pois mais cedo ou mais tarde terás problemas certos de erros criticos de sistema.
Como bem sabes há 3 ramas Debian, não deves proceder a alterar kernels mantidos num stable ou testing para isso usa a rama sid.
E mesmo na rama sid que é para desenvolvimento não tem sentido inserir Kernels não repo já que haverá grandes possibilidades de acarretarem problemas criticos e com eles precisas de conhecimento avançados de gestão administração GNU/Linux e Debian sistema.
A mesma prática no Ubuntu - dá no que dá - crash de sistema etc... o Ubuntu tem um problema que é esse mesmo inserir pacotes mal portados em todos os tipos de software e manutenção a sistema.
Uma gestão tipo Debian em Ubuntu dá barraca enorme se te puseres a instalar tudo o que vês, uma gestão Ubuntu em Debian dá barraca básicamente crasheias o Debian.
Se esse Kernel que tu queres não está nos repos oficiais corres por tua conta podendo ocorrer erros, podes usar uma compilação que pode resultar bem mas se tiveres erros tens de saber corrigir por ti.
Por outro lado a política de adopção de pacotes em Debian salvaguarda ou tenta - que haja os menores erros possiveis e portanto será normal que o Kernel em questão ainda não chegasse ao repos oficiais, tem de passar todos os filtros que a comunidade Debian julga serem necessários.
Não tens problema nenhum em usar um Kernel antigo sempre que salvaguades problemas criticos de segurança é até aconselhável usar um Kernel em que o pc tem melhor desempenho que outro em que se calhar não tem - quem nunca teve que recuar versões por performance por exemplo ? Por uma simples questão de Kernel...
Eu sei desses problemas. Eu sei que até pode nem ser o mais indicado instalar kernels que não o dos repos, mas também sei que um kernel tipo 3.16 já é da idade da pedra. Até pode funcionar muito bem mas ambém pode não ter determinados bug-fixes que outros mais recentes já tenham.
E não sou de instalar tudo o que me aparece à frente. Bem pelo contrário, ando sempre a tentar desinstalar coisas de que não preciso ou que já tenho versões mais recentes!
Não sou expert e não sei muito do assunto, e por isso em vez de andar a compilar kernels "à lá pata", porque não o sei fazer, prefiro tentar encontrar estes files .deb como tenho feito até aqui.
Eu estava a usar uma versão 3.17.1-~exp1 (ou algo assim parecido) e tem funcionado muito bem, e é mais recente que o dos repos!
Só que nunca mais consegui arranjar esses files .deb que não deêm erros de dependências a instalar. Esta versão 3.17.1-~exp1 foi a última versão que instalei sem erros mas já lá vão uns valentes meses!
O nome dos files .deb que saquei na altura desta tal versão 3.17"qualquer coisa" acho que é precisamente o que se encontra aqui:
https://launchpad.net/debian/+source/linux/3.17-1~exp1
