[GPL] Missing kernel source for Xiaomi 11T (agate)

Hello Xiaomi Kernel Open Source Team,

This issue is to formally report the absence of the Linux kernel source code for the Xiaomi 11T (codename: agate) on the Xiaomi Kernel Open Source repository.

The Xiaomi 11T is based on the MediaTek Dimensity 1200 platform and uses a Linux 4.14-based kernel. As the Linux kernel and related components are licensed under GPLv2, Xiaomi is required to publish the complete corresponding source code, including device trees and necessary defconfig files.

At the time of writing:

• The kernel source for Xiaomi 11T (agate) is not available on this repository
• Multiple community members have searched and requested the source without success
• Attempts to contact the official open source email address (opensource@xiaomi.com) resulted in delivery failure

The absence of the kernel source prevents developers from:

• Verifying GPL compliance
• Maintaining kernel security and stability
• Developing custom kernels and ROMs
• Contributing fixes and improvements back to the community

This issue is opened in good faith to request one of the following:

1. Publication of the full kernel source code for Xiaomi 11T (agate), or
2. An official statement or timeline regarding its release

Releasing the kernel source would align with Xiaomi’s GPL obligations and significantly benefit the Android open-source and developer community.

Thank you for your attention.

Start with the issue body and the Xiaomi_Kernel_OpenSource repository to verify whether Xiaomi 11T (agate) source is present. No file, test, or code entry point is identified; the request is complete only when the full kernel source is published or Xiaomi provides an official release statement or timeline.