GitHub - MiCode/Xiaomi_Kernel_OpenSource at mondrian-s-oss
Xiaomi Mobile Phone Kernel OpenSource. Contribute to MiCode/Xiaomi_Kernel_OpenSource development by creating an account on GitHub.
===
Interestingly, the device runs Android 13-based MIUI 14 out of the box, but the kernel sources are apparently based on Android 12.