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