Request for complete and up-to-date kernel sources for Redmi Pad SE (xun)

Dear Xiaomi Open Source Team,

I am writing to formally request the complete corresponding source code for the Linux kernel currently used on the Redmi Pad SE (codename: xun), as required under the terms of the GNU General Public License version 2 (GPLv2).

The latest kernel source published in your official repository for this device appears incomplete and outdated, and does not match the actual kernel version shipped with current firmware releases. To ensure compliance with the GPLv2, I kindly ask you to publish the following:

• The full kernel source tree for the exact version used in the latest Redmi Pad SE (xun) firmware
• All device tree sources (*.dts, *.dtsi) required for the build, including those specific to xun
• The complete kernel configuration file (.config) used in the official build
• Any scripts, patches, or instructions necessary to successfully reproduce the build environment

These items are required by the GPL and must be made available to end users in order to fully satisfy the license conditions.

Thank you for your prompt attention to this matter.

Start by comparing the latest kernel source in the official repository with the current Redmi Pad SE (xun) firmware, as the issue reports a mismatch. Done means publishing the matching full kernel tree, xun device-tree files, build .config, and required scripts, patches, or build instructions.