Formal GPLv2 Compliance Request — Kernel Source Code for POCO C75 (codename: lake)

To the Xiaomi Open Source Compliance Team,

I am writing to formally request the release of the complete corresponding kernel source code for the POCO C75 (codename: lake), in accordance with Xiaomi's obligations under the GNU General Public License version 2 (GPLv2).

Device information:

Model: POCO C75
Codename: lake
Model numbers: 2409BRN2CA / 2409BRN2CI / 2409BRN2CL / 2409BRN2CC / 2409BRN2CY
SoC: MediaTek Helio G81-Ultra
Shipped OS: HyperOS (Android 14, updated to Android 16 / HyperOS 3)
My exact build fingerprint: Xiaomi/fuxi_global/fuxi:15/AQ3A.240912.001/OS2.0.203.0.VMCMIXM:user/release-keys

Legal basis: The device ships with a modified Linux kernel. Under GPLv2 §3, any party that distributes a GPL-covered binary must provide, or offer to provide, the complete corresponding source code — defined as all source files, build scripts, and configuration necessary to reproduce the binary.

As of this writing, no kernel source for this device has been published in the official Xiaomi Mobile Phone Kernel OpenSource repository (https://github.com/MiCode/Xiaomi_Kernel_OpenSource). A public request for this device (Issue #40912, opened March 31, 2026) has also received no response.

This is not a feature request. It is a legal obligation Xiaomi has already fulfilled for many other devices using the same or similar chipsets (e.g. other Helio G8x-series devices already have published sources), which makes the continued absence of sources for this specific device particularly inconsistent with Xiaomi's own established practice.

I am requesting:

The complete kernel source tree matching the exact kernel version shipped on current lake firmware
All device-tree sources (*.dts, *.dtsi) required to build it
The kernel configuration file (.config) used for the production build
Any scripts or patches necessary to reproduce the build

Thank you for your attention to this matter

Start by reviewing the Xiaomi_Kernel_OpenSource repository and the referenced issue #40912, then compare the repository contents with the POCO C75 (codename: lake) details in this request. Done means the complete matching kernel tree, device-tree sources, production .config, and required build scripts or patches are publicly available.