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
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