Where to get kernel sources

If I want to build my own kernel, where do I get the sources for the 3588J from?
Is it part of the SDK? If so, how do I get it? I tried emailing sales@t-firefly.com but didnt get any response.

You can check this: https://en.t-firefly.com/doc/download/139.html

I’m not seeing the Kernel there and the SDK has no download button.

Please send your order information to sales@t-firefly.com. Awaiting reply.

I gained a ton of value from the article. Enhance your IT expertise—free C_BCBTP_2502 valid exam vce available now! Best wishes for success!