[Request] Kernel Source update for Redmi Note 15 4G (Spinel) kernel from 5.10.x to 6.12.30

Hello Xiaomi Developers and Community Managers,

We are writing to formally request the release the update for kernel source code for the Redmi Note 15 4G to kernel 6.12.30.

As required by the GNU General Public License version 2 (GPLv2), under which the Linux kernel is licensed, any manufacturer distributing a product containing the kernel must make the complete source code publicly available.

The availability of this kernel source code is essential for the custom development community. It enables developers to build custom ROMs, kernels, and other modifications that significantly improve the device’s longevity, security, and overall functionality for users worldwide.

We would greatly appreciate it if you could publish the source code on the official MiCode GitHub repository.
We want

Thank you for your time and for supporting the open-source community.

Start by checking the Redmi Note 15 4G (Spinel) kernel references and the official MiCode Xiaomi_Kernel_OpenSource repository for an existing 6.12.30 source release. Done means the complete corresponding kernel source is publicly available there; the issue names no files, tests, or contributor-controlled entry point.