Which of the following is open source software that hosts the virtual machines on a KVM hypervisor?