Update [June 22, 2019]: Xiaomi has recently released Android Pie based Kernel codes for Redmi K20 (codename ‘davinci’), Redmi 7A (codename ‘pine’) and Redmi 7 (codename ‘onc’).
Earlier [June 13, 2019]: Xiaomi launched the Redmi K20 and Redmi K20 Pro at an event in China on May 28th, and as per an official announcement the duo will be launched in India in July. Now, the company has released Android Pie based Kernel codes for the Redmi K20 Pro (codename ‘raphael’). Apart from Redmi K20 Pro, Xiaomi has also released Android Pie based Kernel sources for Mi 9 (codename ‘cepheus’) and Mi MIX 3 5G variant (codename ‘andromeda’).
Redmi K20 Pro features a 6.39-inch Full HD+ AMOLED display with 91.9% screen-to-body ratio and is powered by Snapdragon 855 with up to 8GB of RAM. It has a 48-megapixel rear camera with Sony IMX586 sensor, 8-megapixel telephoto lens for 2x loss-less zoom and a 124.8° ultra-wide sensor and runs Android Pie with MIUI 10 on top.
Even though the source code is not useful for normal users, it would be helpful for Android developers and tinkerers who would like to create custom software builds. You can download the kernel source from the GitHub source links below,
Redmi K20 Pro, Redmi K20, Mi 9, Mi MIX 3 5G, Redmi 7, Redmi 7A