Request for Kernel Source Code - Redmi 13 4G / POCO M6 4G (Kernel Version 6.6.30)

Dear Xiaomi Open Source Team,

I am writing to formally request the complete and corresponding machine-readable source code for the Linux kernel, version 6.6.30, which is currently running on my Redmi 13 4G / POCO M6 4G device.

As you are aware, the Linux kernel is licensed under the terms of the GNU General Public License, version 2 (GPLv2). Under the terms of this license, specifically Section 3, distributors of GPL-licensed software in object code or executable form are required to provide the complete corresponding source code upon request.

As a user of a device distributed by Xiaomi that includes the Linux kernel 6.6.30, I am exercising my rights under the GPLv2 to request this source code. The source code should include all modifications, additions, and configurations specific to the kernel binary distributed on the aforementioned devices.

Please provide information on how I can obtain this source code. Access through your official GitHub repository (https://github.com/MiCode/Xiaomi_Kernel_OpenSource) or a link to a downloadable archive would be appreciated.

Thank you for your prompt attention to this matter and for fulfilling your obligations under the GNU GPL.

Start by reviewing issue #39317 and the Xiaomi_Kernel_OpenSource repository, focusing on the request for corresponding Linux kernel 6.6.30 source for the Redmi 13 4G and POCO M6 4G. The issue names no files, tests, or implementation entry point; done would require a maintainer-defined way to provide or locate that source.