Here is the procedure-
1. Download the zip file(link below)
2. Flash it using TWRP Recovery.
No need to clear any cache
Exetron on 4pda.ru
Tested on Redmi 4/4x running on MIUI 9 Global Stable (126.96.36.199)
Here is my last port for Redmi note 4
1-Will it work on other devices?
I do not know for sure, but for similar configurations it might work, you are free to try it on your device and post it below how it works.
2-Does it work on Developer Rom?
3- Will it be ported for other XYZ device?
Screenshots in the comment section provided by user Cybertron.
Download link- Here
Thanks would be appreciated. Hit if it was useful.