Bom dia, Tenho estado a tentar compilar o meu kernel 4.2.5 para incluir suporte a uma placa de tv Avermedia H830 volar. Até aí tudo bem, consigo compilar o kernel, mas depois ao tentar compilar os drivers diz-me que não tenho instalado o dvb_frontend.h. Alguém sabe a que parte do make menuconfig (qual a opção) isto se refere? Convém dizer que o meu sistema é o Debian 8.2 Stable, com custom kernel 4.2.5. Um Abraço, e desde já grato.