j'ai mis le kernel dans un fichier a part