Seul serveur FTP trouvé compatible avec la Xiaomi Box S (référencée Xiaomi MIBOX4 par le PlayStore).
Semble aussi compatible avec le décodeur TV Android de la Freebox Mini 4k, ce qui me semble inutile.

Page de téléchargement pour les ROM stables et betas pour le Redmi Note 6 Pro (global).

Index des smartphones Xiaomi : http://en.miui.com/download.html

Méthode officiel de flash de ROM beta pour smartphone Xiaomi.