Hi, I was given a DSi XL and I proceeded to buy this card:
As per instructions found here: r4i-sdhc<dot>com I downloaded the v1.12d kernel, extracted the files and copied them to my micro SD formatted as FAT.
This is the folder structure:
Unfortunately when I go to start the card from...