diff options
Diffstat (limited to 'kernel-s390x-debug-fedora.config')
-rw-r--r-- | kernel-s390x-debug-fedora.config | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel-s390x-debug-fedora.config b/kernel-s390x-debug-fedora.config index 74eb093c2..291c03204 100644 --- a/kernel-s390x-debug-fedora.config +++ b/kernel-s390x-debug-fedora.config @@ -4234,7 +4234,7 @@ CONFIG_PROC_VMCORE_DEVICE_DUMP=y CONFIG_PROC_VMCORE=y # CONFIG_PROFILE_ANNOTATED_BRANCHES is not set CONFIG_PROFILING=y -# CONFIG_PROTECTED_VIRTUALIZATION_GUEST is not set +CONFIG_PROTECTED_VIRTUALIZATION_GUEST=y CONFIG_PROVE_LOCKING=y # CONFIG_PROVE_RAW_LOCK_NESTING is not set CONFIG_PSAMPLE=m |