Bueno pues queria compartir con vosotros esta pagina web para la gente que tiene problemas a la hora de buscar los kernel´s de sus flash carts, solo hay que mirar el modelo de la flash carts (si es una r4,r4i,ttds...etc) y justo al lado pone la pagina del fabricante (si es de r4i-sdhc.com, o de dsiplayer.com, supercard.cn...etc) aqui el link http://linfoxdomain.com/nintendo/ds/ Espero que os sirva de ayuda.saludos