Xiaomi has released Nougat kernel sourced for the Redmi Note 5 Pro. This will be yet another device that Xiaomi has released sources for over the past few months, which could be an indication of a change in the company's stance on community development.
https://www.notebookcheck.net/Redmi-Note-5-Pro-kernel-sources-released.296622.0.html