I was wondering how do I download the kernel from www.r4isdhc.com.cn because the website is down now.

https://sanrax.github.io/flashcart-guides/cart-guides/ace3ds_r4ils/I was wondering how do I download the kernel from www.r4isdhc.com.cn because the website is down now.
That is for the wrong flashcart. Yours is for the timebombed DSTTi clones to which the OP does not have. Any cart that has r4isdhc.com.cn is based on the Ace3DS+/R4iLS series of clones.You could look here: https://sanrax.github.io/flashcart-guides/cart-guides/r4i-sdhc/
What he sayshttps://sanrax.github.io/flashcart-guides/cart-guides/ace3ds_r4ils/
That is for the wrong flashcart. Yours is for the timebombed DSTTi clones to which the OP does not have. Any cart that has r4isdhc.com.cn is based on the Ace3DS+/R4iLS series of clones.

At this point it's better to use Pico-Launcher on these carts so we re-ordered the tabs accordingly. Especially since the stock kernel still has anti-piracy issues with games like Pokemon Black 2 & White 2. If you still need a Wood R4 GUI like the stock kernel you can use AKMenu-Nexthttps://sanrax.github.io/flashcart-guides/cart-guides/ace3ds_r4ils/
That is for the wrong flashcart. Yours is for the timebombed DSTTi clones to which the OP does not have. Any cart that has r4isdhc.com.cn is based on the Ace3DS+/R4iLS series of clones.