I've seen that the Redmi Note 8 Pro's kernel source code is available on GitHub. Hopefully this means good things to come.
https://piunikaweb.com/2019/09/21/redmi-note-8-kernel-source-firmware/
https://github.com/MiCode/Xiaomi_Kernel_OpenSource/tree/begonia-p-oss