GitHub repository: rom-builder/android_device_xiaomi_vince
Description: Device Tree for Xiaomi Redmi 5 Plus / Redmi Note 5 India (vince)