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, which has the codename "sapphire".
As required by the GNU General Public License, version 2 (GPLv2), under which the Linux kernel is licensed, any manufacturer who distributes a product containing the kernel must make the complete source code publicly available.
The availability of this kernel source code is vital for the custom development community. It enables developers to create custom ROMs, kernels, and other modifications that greatly enhance the device's longevity, security, and functionality for many users worldwide.
We would be very grateful if you could publish the source code to the official MiCode GitHub repository (github.com/MiCode).
Thank you for your attention to this important matter and for your support of the open-source community.
Sincerely,
The Redmi Note 13 4G (sapphire) user and developer community