Bonjour
Pour information et si ça peut servir à quelqu'un, on m'a fourni un kernel qui fonctionne enfin, donc c'est pour une R4i-sdhc (
R4i SDHC Revolution for NDSi/NDSL/NDS)
https://www.yousendit.com/download/U...cHZvQUpjR0E9PQ
Voilà si ça peut servir à quelqu'un