Dave explicitly said in the video that the Xbox hypervisor is based on Red Dog, which is not HyperV based, which was also the hypervisor used in early iterations of Azure, but that currently Azure runs on a variant of HyperV.