Where to get kernel sources

netthier · Posted at 9/13/2022 19:52:40

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.

zooora111 · Posted at 9/14/2022 09:22:16

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

netthier · Posted at 9/14/2022 16:07:43

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

799959745 · Posted at 9/15/2022 10:12:30

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

[Linux] Where to get kernel sources