como obter cabeçalhos de kernel de 32 bits na instalação 64 bits do Debian [duplicado]

Question

aptitude search linux-headers

fornece isso:

p   linux-headers-3.16.0-4-all      - All header files for Linux 3.16 (meta-pack
p   linux-headers-3.16.0-4-all-amd6 - All header files for Linux 3.16 (meta-pack
i   linux-headers-3.16.0-4-amd64    - Header files for Linux 3.16.0-4-amd64     
i A linux-headers-3.16.0-4-common   - Common header files for Linux 3.16.0-4    
p   linux-headers-amd64             - Header files for Linux amd64 configuration

mas preciso de cabeçalhos de kernel de 32 bits

como fazer isso com o apt?

    

Answer 1

É necessário modificar o /etc/apt/sources.list adicionando i386 a arquiteturas para download como essa:

deb [arch=amd64,i386] http://httpredir.debian.org/debian/ jessie main contrib 

Depois disso, você precisa fazer

apt-get update
dpkg --add-architecture i386
apt-get update

e para instalar o pacote para a arquitetura i386:

apt-get install linux-headers-3.16.0-4-686-pae:i386