Yes, they certainly have...but they don't seem to be moving nearly as fast as RedHat on OpenShift, the Kubernetes project itself and now even HP.
All the established enterprise companies seem to be eating Docker's lunch by signing huge enterprise deals off of a technology Docker invented and SHOULD have first mover advantage.