Redmi Note 10 e Mi 10T Lite.
Essendo Android un sistema operativo open source con licenza GPLv2, i produttori di smartphone che modificano il sistema sono obbligati a rilasciare i sorgenti del kernel, in modo tale che siano accessibili liberamente.
Ad ogni modo, Xiaomi ha rilasciato i sorgenti kernel per due suoi smartphone:
In realtà, non esiste un tempo limite per il rilascio e , mentre molte aziende pubblicano i sorgenti quasi subito, tante altre aspettano più tempo.