Xiaomi ha provveduto a rilasciare i codici sorgenti del kernel, basati sul sistema operativo Android 10, per diversi smartphone lanciati fra il 2017 e oggi.
In sostanza, Google prende una versione principale del kernel Linux e poi la modifica per supportare l’ultima versione di Android, chiamandola “kernel comune Android”.