ajout kernel.c