> minor Android players ... Xiaomi

Xiaomi appears to be the 3rd largest smartphone manufacturer in the world (behind Samsung and Apple). Not sure I'd call them a "minor player"