Yep and they're going to be some big competition to RedHat/IBM in the Kubernetes space. Hence my other post on who is going to acquire Rancher as they're one of the bigger names in the K8s arena. Cisco would be a good one (disclaimer: I work for them but have no knowledge of any acquisition).