OpenVDDK is reportedly already being used in production, at scale