[Request] Kernel Source & Device Tree for Redmi A5 / POCO C71 (serenity)

[ErrorLinux]

[Request] Kernel Source & Device Tree for Redmi A5 / POCO C71 (codename: serenity)

---

Hello Xiaomi Kernel Team,

The Redmi A5 and POCO C71 (codename: serenity, SoC: Unisoc T7250) are commercially distributed Android devices that ship with a modified Linux kernel licensed under GPLv2.

Under GPLv2 §3, the distributor of a GPL-covered binary is required to provide the complete corresponding source code, including:

• All kernel source files and modified drivers
• Device Tree Source (.dts / .dtsi) files
• Defconfig used for the shipped build
• Scripts used to control compilation

Device details:

Field	Value
Model	Redmi A5 / POCO C71
Codename	serenity
SoC	Unisoc T7250
Kernel	GKI 5.15 (Android Generic Kernel Image)
Android	Android 15 (Go Edition)

I have checked this repository and the MiCode/kernel_devicetree repository — no branch for serenity exists in either.

Note that similar GKI-based Unisoc devices such as Redmi A3 and Redmi A3x have had kernel source published in this repository, establishing precedent that Unisoc-based source can and has been released.

What this source would enable:

• Building a proper custom recovery (TWRP / OrangeFox)
• Porting future Android versions after Xiaomi drops support
• Building kernel modules without fragile reverse-engineering workarounds
• Proper device tree for custom ROM maintainers

We kindly request publication of the complete and corresponding kernel source code and device tree for serenity, matching the currently shipped firmware.

Thank you for your continued support of the open source community.

Best regards,
serenity Developer & User Community

[garenafreefiremax1339-ctrl]

YES I NEED THAT