[GPL Compliance Request] Immediate Release of Kernel Source Code for Redmi K50 Pro (matisse)

Dear Xiaomi Open Source Team & Community Managers,
​We are writing to formally request the immediate release of the complete and corresponding Linux kernel source code, device tree, and associated build scripts for the Redmi K50 Pro (codename: matisse).
​Under Section 3 of the GNU General Public License, Version 2 (GPLv2), the distribution of binary images containing the Linux kernel creates a mandatory legal obligation to provide the complete and corresponding source code used to build that binary. This includes:
​The full kernel source code matching all shipped firmware/OS versions (HyperOS / MIUI).
​Out-of-tree hardware drivers, proprietary kernel modules, and MediaTek platform patches.
​The matching default kernel configuration file (defconfig) and build toolchain references.
​Timely compliance with GPLv2 is not only a statutory requirement of open-source licensing but also essential for community security audits, device longevity, and third-party development. Given that this device has been available on the market for an extended period, the lack of complete, up-to-date kernel sources severely limits user rights and hinders active independent software maintenance.
​We respectfully urge the engineering team to fulfill these licensing obligations by publishing the complete source repository to the official MiCode GitHub repository:
​https://github.com/MiCode/Xiaomi_Kernel_OpenSource
​Thank you for your ongoing commitment to open-source compliance and the global developer ecosystem.
​Sincerely,
The Redmi K50 Pro (matisse) Developer & User Community

Review the Xiaomi_Kernel_OpenSource repository first, looking for existing Redmi K50 Pro (matisse) coverage. Done means the corresponding kernel source, device tree, build scripts, defconfig, and toolchain references for shipped HyperOS and MIUI versions are published there; no specific files or tests are named.