Docker can be used to provision and manage virtual servers hosted on the Aruba Cloud platform. The docker-machine driver for Aruba Cloud allows users to create, start, stop, and remove Docker-enabled virtual servers using docker-machine commands. Virtual servers on Aruba Cloud include Smart and Pro options and can be created from templates like Ubuntu or CentOS in different sizes.