GPL compliance concern – Missing kernel source for Redmi Note 14 4G (tanzanite) after kernel upgrade

I would like to raise a concern regarding GPL compliance for the Redmi Note 14 4G (codename: tanzanite).

The device has already received system updates including a Linux kernel upgrade (from 5.10 to 6.12). However, the corresponding kernel source code has not yet been published on the Xiaomi Kernel OpenSource repository.

Additionally, kernel sources have already been released for other devices in the same series, including Redmi Note 14 Pro, Note 14S, and even newer Redmi Note 15 series devices. This makes the absence of the kernel source for this specific device difficult to understand.

Since the Linux kernel is licensed under GPLv2, distributing binaries without providing the corresponding source code raises compliance concerns.

Could you please clarify the current status of the kernel source for this device and whether there is an expected timeline for its release?

Review the Xiaomi Kernel OpenSource repository for tanzanite and compare its published device sources with the Redmi Note 14 4G kernel upgrade described here. Done means the corresponding kernel source is published, or the issue receives a clear status and expected release timeline.