[Request] Kernel Source for Redmi A5 / POCO C71 (serenity) #41172

Device Information

• Device Name: Redmi A5 / POCO C71
• Codename: serenity
• Chipset: Unisoc T7250
• Kernel Version: 5.15 (GKI)
• Android Version: Android 15 (Go Edition)

Description

The kernel source code for the Xiaomi Redmi A5 / POCO C71 (codename: serenity) has not been released yet, despite the device being on the market for over a year.

According to the GNU General Public License v2 (GPLv2) Section 3, manufacturers are legally required to provide the complete corresponding source code for the Linux kernel used in their devices.

Please upload the official kernel source code and device tree for serenity to this repository as soon as possible to comply with the GPLv2 license and allow community development (custom recoveries and ROMs).

Thank you.