Android device source tree for Xiaomi Redmi 5 Plus/Note 5 India (vince). - View it on GitHub