diff --git a/src/dosbox.cpp b/src/dosbox.cpp
index 550320132..4056b68e2 100644
--- a/src/dosbox.cpp
+++ b/src/dosbox.cpp
@@ -889,6 +889,9 @@ void DOSBOX_SetupConfigSections(void) {
     const char* cores[] = { "auto",
 #if (C_DYNAMIC_X86)
         "dynamic",
+#endif
+#if defined(LINUX)
+        "ptrace",
 #endif
         "normal", "full", "simple", 0 };