# pkgkernel Simple outils permettant de compiler le kernel sur GNU/Debian Based on https://debian-facile.org/doc:systeme:kernel:compiler Merci d'utiliser `pkgkernel-auto.sh`. La différence principale avec pkgkernel.sh c'est que ce script est totalement automique. Il récupère les sources depuis [kernel.org](https://www.kernel.org), les compile et les installe. A terme le premier script disparaitra.