Mynewt

http://mynewt.apache.org/

An OS to build, deploy and securely manage billions of devices