Pokiaľ použijú existujúce distro s úpravami, podľa GPL zverejnia zdrojáky. Ak to bude niečo bežné (*.deb, *.rpm), budú sa dať upraviť repozitáre a použiť vlastné aplikácie z nich, takže to bude približne o 1000% lepšie ako w10backdoor.
V najhoršom prípade si to preinštaluješ k obrazu svojmu (Gentoo, Arch atď).
Jo, budeš tam mít krásný Xiaomi store se spoustou témat a skinů a tak.
Zdrojový kód dostaneš po letech slibů, avšak jenom k něčemu a zastaralý. A pokud to poběží na Armu, tak toho moc nenaportuješ, maximálně nějak naroubuješ a s drobnými nedostatky typu mizerný power saving se smíříš, neb polovina ovladačů bude binární blob (vývojáří Androidu by mohli vyprávět).