Title
Missing kernel source for redmi turbo 4/poco x7 pro (MT6899)
Device Information
Device: redmi turbo 4/poco x7 pro
SoC / Platform: MT6899
OS: HyperOS (multiple stable OTA updates observed)
Region: CN / Global variants (as observed in public firmware releases)
Issue Description
The kernel source code corresponding to the shipped HyperOS builds for the MT6899-based redmi turbo 4/poco x7 pro has not been published on the Xiaomi Kernel Open Source repository.
Despite multiple stable OTA updates being released for this device, there is currently no visible matching kernel source branch or tag on MiCode.
Observed Behavior
Device has received multiple HyperOS updates
Firmware builds have been publicly released and updated
No matching kernel source found in:
https://github.com/MiCode/Xiaomi_Kernel_OpenSource
No identifiable MT6899 device kernel branch available at the time of writing
Expected Behavior
As per GPLv2 requirements for Linux kernel distribution, the corresponding kernel source code for shipped binaries should be made available publicly on Xiaomi’s OSS repository in a timely manner.
Actual Behavior
Kernel source for this device/platform is not currently available in the public MiCode repository.
Request
Kindly clarify the following:
Whether MT6899-based redmi turbo 4/poco x7 pro kernel source is:
pending release
merged under a shared/alternate branch
or scheduled for a batch OSS release
Expected timeline for kernel source publication on MiCode
If already released under a different codename or shared kernel base, please provide the correct repository/branch reference
Purpose
This issue is opened for OSS transparency and AOSP / custom ROM development enablement.
Title
Missing kernel source for redmi turbo 4/poco x7 pro (MT6899)
Device Information
Device: redmi turbo 4/poco x7 pro
SoC / Platform: MT6899
OS: HyperOS (multiple stable OTA updates observed)
Region: CN / Global variants (as observed in public firmware releases)
Issue Description
The kernel source code corresponding to the shipped HyperOS builds for the MT6899-based redmi turbo 4/poco x7 pro has not been published on the Xiaomi Kernel Open Source repository.
Despite multiple stable OTA updates being released for this device, there is currently no visible matching kernel source branch or tag on MiCode.
Observed Behavior
Device has received multiple HyperOS updates
Firmware builds have been publicly released and updated
No matching kernel source found in:
https://github.com/MiCode/Xiaomi_Kernel_OpenSource
No identifiable MT6899 device kernel branch available at the time of writing
Expected Behavior
As per GPLv2 requirements for Linux kernel distribution, the corresponding kernel source code for shipped binaries should be made available publicly on Xiaomi’s OSS repository in a timely manner.
Actual Behavior
Kernel source for this device/platform is not currently available in the public MiCode repository.
Request
Kindly clarify the following:
Whether MT6899-based redmi turbo 4/poco x7 pro kernel source is:
pending release
merged under a shared/alternate branch
or scheduled for a batch OSS release
Expected timeline for kernel source publication on MiCode
If already released under a different codename or shared kernel base, please provide the correct repository/branch reference
Purpose
This issue is opened for OSS transparency and AOSP / custom ROM development enablement.