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.