Request for the Release of Kernel Source Code for Redmi Note 13 4G ("sapphire/sapphiren")

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 13 4G, codename “sapphire”.

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 corresponding source code publicly available.

The timely release of kernel sources is essential for compliance with open-source licensing and for maintaining transparency within the developer community. It also enables developers to create custom ROMs, kernels, and recoveries, improving device performance, security, and user experience. This helps extend the longevity of Xiaomi devices and strengthens the trust and collaboration between the company and the global open-source community.

We kindly ask that the kernel source code for this device be published to the official MiCode GitHub repository (github.com/MiCode) as soon as possible.

Thank you very much for your attention and continued support of the open-source ecosystem.

Sincerely,
The Redmi Note 13 4G (“sapphire/sapphiren”) user and developer community

The issue requests kernel source publication for the Redmi Note 13 4G (sapphire/sapphiren) in the MiCode repository, but names no files, tests, or code entry points. Start by reviewing the request and repository context; done would mean the complete corresponding source is publicly available there.