Is there any Xen-based public cloud that&#x27;s not running a full conventional OS kernel (Linux or otherwise) in dom0? If not, then the theoretical smaller TCB of Xen doesn&#x27;t matter in practice. And of course, some major public clouds use KVM, so they&#x27;re effectively using a full Linux kernel as the hypervisor.