GPLv2 kernel source request – Redmi Note 13 4G (Sapphire) | 2+ years overdue

Hello Xiaomi Open Source Team,

I am writing to formally request the release of the Linux kernel source code for the Redmi Note 13 4G, Codename: Sapphire/Sapphiren

This device was released in January 2024. As of now, more than two years have passed since its public release, yet the corresponding kernel source code does not appear to be available in the Xiaomi_Kernel_OpenSource repositories.

As the device is distributed with a modified Linux kernel, the GNU General Public License v2 (GPLv2) requires that the complete corresponding kernel source code be made publicly available. A delay of over two years is significantly beyond what would be considered reasonable for GPL compliance.

Device details:

• Device name: Redmi Note 13 4G
• Codename: sapphire
• Release date: January 2024

Please let us know when the kernel source for this device will be published, or if there is an existing repository or branch that we may have missed.

Thank you for your attention to this matter.

Start by checking Xiaomi_Kernel_OpenSource for an existing sapphire or Sapphiren repository or branch, using the device details in the issue. Done means locating the corresponding public kernel source or getting Xiaomi to publish it and updating the issue with the repository or branch; no files or tests are named.