Prove KVM MMU correctness
configname: CONFIG_KVM_PROVE_MMU
Linux Kernel Configuration
└─>Virtualization
└─>Prove KVM MMU correctness
In linux kernel since version 4.14.327 (release Date: 2023-10-10)
Enables runtime assertions in KVM's MMU that are too costly to enable
in anything remotely resembling a production environment, e.g. this
gates code that verifies a to-be-freed page table doesn't have any
present SPTEs.
If in doubt, say "N".
in anything remotely resembling a production environment, e.g. this
gates code that verifies a to-be-freed page table doesn't have any
present SPTEs.
If in doubt, say "N".