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

Hello Xiaomi Kernel Team,

In accordance with the General Public License v2 (GPLv2), the distributor of a modified Linux kernel is required to release the complete corresponding source code.

The Redmi A5 and POCO C71 (codename: serenity) are commercially available devices running a modified Linux kernel. Currently, the kernel source code and device tree for this specific device are missing from this repository (and the kernel_devicetree repository).

We kindly request you to release the kernel source code, including:

• All kernel source files and modified drivers.
• Device Tree Source (.dts / .dtsi) files.
• The exact defconfig used for the stock release build.
• Any scripts necessary to compile the kernel properly.

Device Details:

• Device Names: Redmi A5 / POCO C71
• Codename: serenity
• SoC: Unisoc T615 (UMS9230E / T7250)
• OS: Android 15

Releasing these sources is highly anticipated by the community. It will enable developers to build custom recoveries (such as TWRP or OrangeFox), develop custom ROMs, and build kernel modules without relying on fragile reverse-engineering workarounds.

Thank you for your time, hard work, and continued support of the open-source community. We look forward to the release!

Review the Xiaomi_Kernel_OpenSource repository and the referenced kernel_devicetree repository for the Redmi A5/POCO C71 (serenity). Check whether the requested kernel source, .dts/.dtsi files, stock defconfig, and build scripts are present; done means these sources are released for the specified device.