Il y a un kernel ? C'est optimisé en taille ou en vitesse ?