The only trouble is that the xiaomi calendar has ads and not easy to set an event in the calendar and if someone don't want adverts, he has to pay extra money. The other problem is transferring data from Samsung. Xiaomi will transfer everything but calendar, which is frustrating.
Redmi K40, also sold internationally as the Poco F3, launched as an affordable flagship Android phone in 2021. Given how popular the smartphone got, it's still likely in the hands of many. The good news is that it just got the stable Xiaomi HyperOS update. But there's a catch: it's based on Android 13.