Kernel sources- when?

Feb 18, 2012
A few weeks back there was this marvelous announcement that miui would finally release the sources to developers so that we can have new kernels etc developed.

There has been no more news since then. Any update from the mods?
May 14, 2013
I was just going to ask the same thing! Any word or information from an official source would be great.

I have a MI2s and it's one hell of a phone, but I'm tired of Xiaomi's closed mind and am thinking if I should sell the phone and wait for Nexus 5.

Please Mark, or whoever knows anything, tell us some info.

Enviado desde mi Nexus 7 usando Tapatalk 4