Virtualizing the locomotive

COLO (course-grained lock-step for KVM) is aiming at a different use case (hot-standby) but basically comes with the host-side piecees to enable this.

But this alone may not help to improve the overall confidence in the produced results. Depending on the target application, regulatory requirements etc., you may also need diversity in the infrastructure, i.e. the virtualization platform AND the hardware. Or you need to verify that both behave correctly in absence of hardware errors and that they detect all errors reliably enough. That will be tough to achieve with a normal virtualization stacks, and that's why we started the Jailhouse hypervisor project.