Kernel sources for the Xiaomi Redmi 6 Pro, Redmi 5 Plus, and Mi 5X are now available
Xiaomi has been on a spree to release and update kernel sources of as many devices as it can. In just about 10 days, the OEM has spread the kernel love to some old and long overdue devices such as the Xiaomi Redmi Note 2, Redmi Note 2 Pro and the Redmi Note 3 (MediaTek); as well as to newer devices like the Xiaomi Redmi Note 6 Pro.
Now, Xiaomi has released kernel sources for the Xiaomi Redmi 6 Pro, Xiaomi Redmi 5 Plus and the Xiaomi Mi 5X. All three of these devices share the same kernel source branch, so you can find them all at the link below.