virtme-configkernel: disable lockdep by default

Commit cd3c35c ("virtme-configkernel: enable lockdep by default") enabled lockdep, and no doubt lockdep is a useful tool. But it's a bit surprising that lockdep is enabled on a normal vng build. I would have expected "vanilla vng build" to be pretty close to kvm_guest.config. lockdep slows down the kernel, eats memory and is not exactly free of false positives. Signed-off-by: Jakub Kicinski <[email protected]>
arighi · Jan 31, 2024 · 53acc2d · 53acc2d
1 parent 4381750
commit 53acc2d
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/virtme/commands/configkernel.py b/virtme/commands/configkernel.py
@@ -154,7 +154,6 @@ def arg_fail(message):
     "CONFIG_UPROBES=y",
     "CONFIG_UPROBE_EVENTS=y",
     "CONFIG_DEBUG_FS=y",
-    "CONFIG_PROVE_LOCKING=y",
     "# Graphics support",
     "CONFIG_DRM=y",
     "CONFIG_DRM_VIRTIO_GPU=y",