Merge pull request #62 from kuba-moo/main

virtme-configkernel: disable lockdep by default
arighi · Jan 31, 2024 · 70b70aa · 70b70aa
2 parents 4381750 + 53acc2d
commit 70b70aa
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",