Wenn es um das Veröffentlichen von Kernel Quellen geht, machen die Chinesen leider auch heute noch eine sehr schlechte Figur. Grundsätzlich ist jeder Hersteller von Android Smartphones dazu verpflichtet, die Kernel Quellen zu veröffentlichen, da es sich hierbei um Open Source Software handelt, die unter einer entsprechenden Lizenz steht. Da gilt nicht nur für den Linux Kernel auf den Android aufbaut, sondern auch für einen großen Teil der Google-spezifischen Modifikationen und Aufbauten auf dem Kernel, welche Android letztlich zu Android machen.

Xiaomi veröffentlich schon seit längerer Zeit die Kernel Quellen der eigenen Geräte, lässt sich dafür aber grundsätzlich immer viel Zeit. Monate nach dem Launch sind nun auch die Kernel Quelle des Xiaomi Redmi 1S zum Download verfügbar.