Soms, wanneer u een toepassing of pakketten in uw Terminal compileert, zult u een fout tegenkomen met de melding "missing pit header". Dit is meestal het geval wanneer je net je kernel hebt opgewaardeerd en de kernel headers-informatie voor de nieuwste kernel niet naar jouw systeem is gedownload. Wanneer dit gebeurt, kunt u meestal uw pakketten niet compileren.

Ik heb altijd dit probleem na het upgraden naar de nieuwste kernel en Virtualbox zal altijd falen telkens als ik het open. De oplossing zal zijn om de Vbox-kernelmodule opnieuw te compileren, wat dan leidt tot de ontbrekende kernel-headerfout.

De oplossing hiervoor is eenvoudig. Je hoeft alleen maar de kernel-header voor je nieuwste kernel te installeren (of opnieuw te installeren als je dat eerder hebt gedaan).

1. Open een terminal en typ:

 sudo apt-get update #just om ervoor te zorgen dat uw systeem wordt bijgewerkt sudo apt-get installeer linux-headers - $ (uname -r)

Dit zou de kernelheaders voor je nieuwste kernel moeten ophalen en installeren. Dat is het. Je zou nu in staat moeten zijn om je pakketten probleemloos te compileren.