So my gf bought DS Lite, we bought an R4 SDHC and we tried running multiple different kernels:
linfoxdomain <- the ones listed there did not work, wood also did not, ysmenu- same, some found on youtube also did not. Each time i formated microsd card (32 Gb, maybe here lies the problem???). Yeah...