Xiaomi will release Redmi 1S kernel source on December 31, 2014 topic

"Mi Fans,

Hugo and I wanted to provide an update that we will release the Redmi 1S kernel source in a few days on December 31, 2014. We sincerely apologize for the delay so far, and we promise we will do better in the future.

Thank you for your support, and please keep the feedback coming, as we're always looking to improve."

Sincerely,
Donovan & Hugo

So devs for redmi 1s are you ready to work your magic on this device? People get ready to taste 5.0.2 very soon :D