I don't think xiaomi will open their phones' kernel sources. I can't find any post in China about opensource kernel of xiaomi except the post in miuiandroid. Unless they try to open the globle market by the xiaomi 3.
Tegra 4版的小米3于2013年10月上旬正式发售,高通骁龙800(8974AB)版的小米3则于2013年11月发售
Edit ...
Sorry , there is nothing about opensource of xiaomi devices.
It is just a website for xiaomi to publish some opensource hardware news, such as Raspberry Pi .
@grondinm I want to build cm10.2 following the guide on github https://github.com/grondinm/android_local_manifest/tree/cm-10.2
But error came out .
So how to solve this problem?
Notice file: bootable/recovery/NOTICE --...