Es scheint eine Ewigkeit seit der Veröffentlichung der proprietären MIUI 9-Schnittstelle durch das chinesische Unternehmen Xiaomi zu sein.