ke: add lock warden

2026-10-31 15:28:21 +00:00 · 2026-10-04 11:10:35 -04:00
parent dd2161179d
commit b802919fc2
23 changed files with 496 additions and 49 deletions
@@ -54,6 +54,14 @@
                    .default = .{ .int = 14 },
                    .help = "This option sets the size of the kernel log buffer as a power of two. The actual size is calculated as 2 raised to the power of this value (i.e., 2^LOG_BUFFER_SHIFT bytes).",
                },
+                .{
+                    .kind = .bool,
+                    .key = "warden",
+                    .label = "Enable the kernel warden",
+                    .default = .{ .bool = false },
+                    .help = "This option enables the kernel warden, which checks for correctness of lock acquisitions. This has a substantial performance overhead.",
+                },
+
                .{
                    .kind = .menu,
                    .label = "Memory Management Options",