Das Redmi K40, das international auch als Poco F3 verkauft wird, kam 2021 als erschwingliches Android-Flaggschiff auf den Markt. Aufgrund seiner Beliebtheit ist das Smartphone wahrscheinlich immer noch weit verbreitet. Dieses Smartphone erhält nun ein Update auf Xiaomi HyperOS, das bei diesem Gerät allerdings auf Android 13 basiert.