Xiaomi is a Chinese manufacturer of electronic products.