[Request] Device Tree, Kernel Sources and Vendor Blobs for Redmi Note 15 4G (Spinel)

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

The issue names no repository files, tests, or implementation entry point. Start by reviewing the Xiaomi_Kernel_OpenSource repository and its existing device-source releases, then verify what corresponding Redmi Note 15 4G sources are requested. Done means the complete requested source materials are publicly available in the repository.