How do I download the kernel?

[Nico17gamer17]

Hi, I have a question, how do I download the kernel?

[bretantonio]

I am still working on the kernel is not yet Ready the goal is to add drivers to the mainline linux kernel

I am facing issues with regulator drivers which seem to be configured differently and have halted development

[NCLnclNCL]

do you have kernel source code for tecno pova 2?

[bretantonio]

No sorry I dont

[Nico17gamer17]

How are you doing with the kernel, friend?

[bretantonio]

I will get back to it in December

[ERWTE588]

Did it release yet?

[Nico17gamer17]

Bro how did you find the source of this device?