diff options
author | Ingo Molnar <mingo@elte.hu> | 2007-07-16 02:40:10 -0400 |
---|---|---|
committer | Linus Torvalds <torvalds@woody.linux-foundation.org> | 2007-07-16 12:05:43 -0400 |
commit | 45807a1df9f51d28d0ff0c6bcf900c210411d7c9 (patch) | |
tree | df70e9162ce50ada2393987ca2a5b5794dcbb644 /Documentation/kernel-parameters.txt | |
parent | 99fc06df72fe1c9ad3ec274720dcb5658c40bfd2 (diff) |
vdso: print fatal signals
Add the print-fatal-signals=1 boot option and the
/proc/sys/kernel/print-fatal-signals runtime switch.
This feature prints some minimal information about userspace segfaults to
the kernel console. This is useful to find early bootup bugs where
userspace debugging is very hard.
Defaults to off.
[akpm@linux-foundation.org: Don't add new sysctl numbers]
Signed-off-by: Ingo Molnar <mingo@elte.hu>
Signed-off-by: Arjan van de Ven <arjan@infradead.org>
Signed-off-by: Andrew Morton <akpm@linux-foundation.org>
Signed-off-by: Linus Torvalds <torvalds@linux-foundation.org>
Diffstat (limited to 'Documentation/kernel-parameters.txt')
-rw-r--r-- | Documentation/kernel-parameters.txt | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Documentation/kernel-parameters.txt b/Documentation/kernel-parameters.txt index 182c6a39d5a2..ab38322111c4 100644 --- a/Documentation/kernel-parameters.txt +++ b/Documentation/kernel-parameters.txt | |||
@@ -1383,6 +1383,12 @@ and is between 256 and 4096 characters. It is defined in the file | |||
1383 | autoconfiguration. | 1383 | autoconfiguration. |
1384 | Ranges are in pairs (memory base and size). | 1384 | Ranges are in pairs (memory base and size). |
1385 | 1385 | ||
1386 | print-fatal-signals= | ||
1387 | [KNL] debug: print fatal signals | ||
1388 | print-fatal-signals=1: print segfault info to | ||
1389 | the kernel console. | ||
1390 | default: off. | ||
1391 | |||
1386 | profile= [KNL] Enable kernel profiling via /proc/profile | 1392 | profile= [KNL] Enable kernel profiling via /proc/profile |
1387 | Format: [schedule,]<number> | 1393 | Format: [schedule,]<number> |
1388 | Param: "schedule" - profile schedule points. | 1394 | Param: "schedule" - profile schedule points. |