Redmi 9 (Lancelot) : Gets MIUI 13 update based on Android 12 (V13.0.1.0.SJCEUXM - EEA/EU ROM) - News by Xiaomi Miui Hellas
Redmi 9 @₹8,999 - 4GB RAM | Multi-task King - Mi India
Redmi 9 with MIUI 12, MediaTek Helio G35 launched in India at a starting price of Rs. 8,999 - Smartprix.com
Latest supposed Xiaomi Android 11 update list upgrades the Mi 10 Ultra and Redmi 9 to internal testing and clarifies that no MIUI 9 launch devices will be updated - NotebookCheck.net News
Redmi 9 Global variant is getting MIUI 12 update - Gizchina.com
POCO M2 (Redmi 9) dobiva MIUI 12.5 Enhanced Edition - Bajtbox