Does anyone know what the kernel is for this r4 card?

[Crz]

I got this r4 card back in 2014, but a few weeks ago I accidentally formatted it and lost the Micro SD. I was wondering if anyone had the Kernel for it. Thanks in advance. Btw this is for the Dsi xl.

Btw to add on, im also using twilight menu but I want to play my old Chinatown wars game but it wont load past the SAV so if anyone has info on that it would help a lot. thanks in advance

 

[Crz]

.

 

[Little_Anonymous_Hacker]

Welcome to GBAtemp! I hope you find the right kernel.

 

[Crz]

Welcome to GBAtemp! I hope you find the right kernel.

Thank You! By remembering when I got the R4 Card, and knowing the website that was taken down, I used the Wayback machine and went to a version of the website from 2014 and instantly found the kernel