officiel pour un R4, ça ne veut pas dire grand chose pour moi

Tu peux mettre l'entier du kernel dans un zip
et l'uploader quelque part, que je puisse voir
la structure de celui-ci?