[Request] Kernel Sources for Redmi Note 15 4G (Spinel) kernel 6.12.30

Hello Xiaomi Developers and Community Managers,

We are writing to formally request the release of the complete and corresponding kernel source code for the Redmi Note 15 4G.

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.

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

Sincerely,
The Redmi Note 15 4G user and developer community

It has been over 110 days since the release of the Redmi Note 15 4G (January 15, 2026). As of today, the corresponding kernel source code has not been published, while the 5G variant (kunzite) sources are already available.

This is a direct violation of the GNU General Public License version 2 (GPLv2). Under Section 4 of the GPLv2, your right to distribute the Linux kernel terminates automatically upon violation of the license terms.

We have formally logged this violation and are preparing a report for the Software Freedom Conservancy (SFC). We request that Xiaomi immediately restores compliance by publishing the spinel kernel tree to this repository.

CC: @MiCode-Developer-Team

The issue names no source file, test, or entry point. Review the Xiaomi_Kernel_OpenSource repository and compare the available kunzite sources with the requested spinel device tree. Done would mean the corresponding Redmi Note 15 4G kernel source is published in the repository; this requires maintainer action rather than a newcomer code change.