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

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

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

Start by reviewing the existing Redmi A3 and Redmi A3x source in this repository and checking MiCode/kernel_devicetree for the referenced device-tree patterns. The request is complete when Xiaomi publishes the corresponding kernel source, device-tree files, defconfig, and build scripts for serenity; this depends on the maintainer rather than a newcomer code change.