all: add a DumpMemory feature

On Linux, verify that makedumpfile and the second kernel are present,
then set up a kernel to be used on panic.

1 files changed, 29 insertions, 0 deletions

diff --git a/executor/executor_common.h b/executor/executor_common.h
new file mode 100644
index 000000000..90f731dbf
--- /dev/null
+++ b/executor/executor_common.h
@@ -0,0 +1,29 @@
+// Copyright 2025 syzkaller project authors. All rights reserved.
+// Use of this source code is governed by Apache 2 LICENSE that can be found in the LICENSE file.
+
+#ifndef EXECUTOR_COMMON_H
+#define EXECUTOR_COMMON_H
+
+#include <stdio.h>
+#include <string.h>
+
+static void get_last_opt(const char* cmdline, const char* key, char* out, size_t out_len)
+{
+	char key_eq[128];
+	snprintf(key_eq, sizeof(key_eq), "%s=", key);
+	const char* val = NULL;
+	for (const char* p = cmdline; (p = strstr(p, key_eq)); p += strlen(key_eq)) {
+		if (p == cmdline || p[-1] == ' ' || p[-1] == '\t' || p[-1] == '\n')
+			val = p + strlen(key_eq);
+	}
+
+	if (val) {
+		size_t len = strcspn(val, " \t\n");
+		if (len >= out_len)
+			len = out_len - 1;
+		memcpy(out, val, len);
+		out[len] = 0;
+	}
+}
+
+#endif // EXECUTOR_COMMON_H