# pkgkernel

Simple outils permettant de compiler le kernel sur GNU/Debian

Based on https://debian-facile.org/doc:systeme:kernel:compiler