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