pub const V3_RESIDUAL: &str = "With --cpu-profile x86-64-v3, Hermit checks at startup that this host does not change the XSTATE_BV bits a guest reads (with XSAVE, XSAVEC or XSAVEOPT, or in a signal frame) when the host saves and restores the guest\'s registers. The check samples a fixed set of cases and forces only CPUID exits, so a CPU or hypervisor that behaves differently only on other instruction paths, or on VM exits the guest cannot see, is not excluded. Firmware (SMM) entries cannot be checked at all. Default runs use x86-64-v2, which this does not affect.";Expand description
What the host’s XSAVE results can depend on, stated wherever v3 is offered:
the --cpu-profile help, --verify output, the recording and the docs.