Please help me find my fake(?) R4i firmware/kernel/idk

So the other day I found a really old R4i flashcart at home that my brothers and I never got to work. For the last few days I've tried using lots of similar firmwares/kernels (I don't really know the difference between those 2 words) cause I just can't find mine. I've tried everything and it still shows the classic red "menu?" error. This is the info you can see on the card's sticker thing:

"R4i
Revolution for DS
(NDSI/NDSL/NDS)
www.r4i-SDhc.com.HK"...

Please help me find my fake(?) R4i firmware/kernel/idk