Yeah, but on the other hand one might argue that there is no reason to believe Intel&#x27;s hardware implementation of such features is more correct and less prone to errors than Xen&#x27;s implementation in software.