Hypervisor-based fault tolerance | Synapse