Request: Release kernel source for Redmi Pad 2 (taiko) — Helio G100 Ultra / Linux 6.12.30

Device Information

• Device name: Redmi Pad 2
• Codename: taiko
• SoC: MediaTek Helio G100 Ultra (MT6789)
• CPU: 2×Cortex-A76 @ 2.2GHz + 6×Cortex-A55 @ 2.0GHz
• GPU: Mali-G57 MC2
• Kernel version: Linux 6.12.30 (Android 16 / HyperOS 3)
• Released: June 2025
• Model numbers: 25040RP0AG, 25040RP0AI, 25040RP0AE, 25040RP0AL, 25040RP0AC

Request

As required under the GNU General Public License version 2 (GPLv2), Xiaomi is obligated to release the complete, corresponding, and buildable kernel source code for this device upon distribution.

As of now, there is no taiko branch in this repository, and no kernel source has been published for this device.

The same Helio G100 (MT6789) platform used in Redmi Note 14 4G (tanzanite) also lacks published kernel sources (see issues #40276, #40585, #40797, #40929).

Please release the complete kernel source including device tree files (DTS) at your earliest convenience.

Start by checking whether the repository contains a taiko branch or kernel source for the Redmi Pad 2, then review the related issues #40276, #40585, #40797, and #40929. Done means complete, corresponding, buildable Linux kernel source for the device is published, including its device-tree files.