Request for Release of Kernel Source Code and Device Trees for Poco Pad / Redmi pad pro (dizi, SM7435) #40777
Description
Dear Xiaomi Open Source Team,
I am writing to formally request the release of the complete kernel source code and related device-specific components for the Xiaomi Poco Pad (codename: dizi, platform: Qualcomm SM7435).
As you are aware, the Linux kernel is licensed under the GNU General Public License version 2 (GPLv2). In accordance with the terms of this license, any distributed binaries that incorporate GPL-licensed components require the corresponding complete source code to be made available.
At the time of writing, the following components for the Poco Pad (dizi) do not appear to be publicly available:
Complete kernel source code corresponding to the latest publicly released firmware (including all modifications and defconfig files).
Device tree source files (DTS/DTSI) specific to dizi.
Kernel module sources and vendor-specific kernel adaptations required to build a bootable image consistent with the released firmware.
Any additional kernel-related repositories necessary to reproduce the distributed kernel binaries.
Access to these sources is essential for development, security auditing, long-term maintenance, and custom ROM support within the Android open-source community.
I kindly request that Xiaomi publish the complete and corresponding source code for Poco Pad (dizi, SM7435) on the official Xiaomi Open Source portal or designated public repository.
If additional information (such as exact firmware build number or region) is required to process this request, I will be glad to provide it.
Thank you for your attention to this matter. I look forward to your response.