redmi是红米手机。
拓展知识：
Redmi（红米）是小米公司在2013年7月31日推出的全新产品线，第一款产品是红米手机。2019年1月3日上午10：00，小米公司正式宣布红米Redmi品牌独立，并预告将于1月10举办红米Redmi发布会。2019年3月18日，小米集团副总裁、红米Redmi品牌总经理卢伟冰发表“Redmi品牌独立宣言”。Redmi（红米）手机对于中国智能手机市场来说，有着不可或缺的重要意义。它的出现，消灭了当时火遍全国的山寨机，促进了智能手机的迅速普及。而现在，红米Redmi品牌正式独立，似乎时代又赋予了其新的使命。
