LiteOS

10 KB IoT kernel by Huawei

http://wiki.oiotc.cc/index.php?title=Liteos#.E5.B8.B8.E8.A7.81.E9.97.AE.E9.A2.98FAQ