Enable ddb(4) for sparc GENERIC-like kernels. Discussed on port-sparc@.diff -r1.213 -r1.214 src/sys/arch/sparc/conf/GENERIC
(tsutsui)
--- src/sys/arch/sparc/conf/GENERIC 2009/05/05 23:58:50 1.213
+++ src/sys/arch/sparc/conf/GENERIC 2009/06/22 14:57:52 1.214
@@ -1,38 +1,38 @@ | @@ -1,38 +1,38 @@ | |||
1 | # $NetBSD: GENERIC,v 1.213 2009/05/05 23:58:50 macallan Exp $ | 1 | # $NetBSD: GENERIC,v 1.214 2009/06/22 14:57:52 tsutsui Exp $ | |
2 | # | 2 | # | |
3 | # GENERIC machine description file | 3 | # GENERIC machine description file | |
4 | # | 4 | # | |
5 | # This machine description file is used to generate the default NetBSD | 5 | # This machine description file is used to generate the default NetBSD | |
6 | # kernel. The generic kernel does not include all options, subsystems | 6 | # kernel. The generic kernel does not include all options, subsystems | |
7 | # and device drivers, but should be useful for most applications. | 7 | # and device drivers, but should be useful for most applications. | |
8 | # | 8 | # | |
9 | # The machine description file can be customised for your specific | 9 | # The machine description file can be customised for your specific | |
10 | # machine to reduce the kernel size and improve its performance. | 10 | # machine to reduce the kernel size and improve its performance. | |
11 | # | 11 | # | |
12 | # For further information on compiling NetBSD kernels, see the config(8) | 12 | # For further information on compiling NetBSD kernels, see the config(8) | |
13 | # man page. | 13 | # man page. | |
14 | # | 14 | # | |
15 | # For further information on hardware support for this architecture, see | 15 | # For further information on hardware support for this architecture, see | |
16 | # the intro(4) man page. For further information about kernel options | 16 | # the intro(4) man page. For further information about kernel options | |
17 | # for this architecture, see the options(4) man page. For an explanation | 17 | # for this architecture, see the options(4) man page. For an explanation | |
18 | # of each device driver in this file see the section 4 man page for the | 18 | # of each device driver in this file see the section 4 man page for the | |
19 | # device. | 19 | # device. | |
20 | 20 | |||
21 | include "arch/sparc/conf/std.sparc" | 21 | include "arch/sparc/conf/std.sparc" | |
22 | 22 | |||
23 | options INCLUDE_CONFIG_FILE # embed config file in kernel binary | 23 | options INCLUDE_CONFIG_FILE # embed config file in kernel binary | |
24 | 24 | |||
25 | #ident "GENERIC-$Revision: 1.213 $" | 25 | #ident "GENERIC-$Revision: 1.214 $" | |
26 | 26 | |||
27 | maxusers 32 | 27 | maxusers 32 | |
28 | 28 | |||
29 | ## System kernel configuration. See options(4) for more detail. | 29 | ## System kernel configuration. See options(4) for more detail. | |
30 | 30 | |||
31 | 31 | |||
32 | # Options for variants of the Sun SPARC architecure. | 32 | # Options for variants of the Sun SPARC architecure. | |
33 | # We currently support three architecture types; at least one is required. | 33 | # We currently support three architecture types; at least one is required. | |
34 | options SUN4 # sun4/100, sun4/200, sun4/300 | 34 | options SUN4 # sun4/100, sun4/200, sun4/300 | |
35 | options SUN4C # sun4c - SS1, 1+, 2, ELC, SLC, IPC, IPX, etc. | 35 | options SUN4C # sun4c - SS1, 1+, 2, ELC, SLC, IPC, IPX, etc. | |
36 | options SUN4M # sun4m - SS10, SS20, Classic, etc. | 36 | options SUN4M # sun4m - SS10, SS20, Classic, etc. | |
37 | options SUN4D # sun4d - SS1000, SC2000 | 37 | options SUN4D # sun4d - SS1000, SC2000 | |
38 | 38 | |||
@@ -103,28 +103,28 @@ options SYSCTL_INCLUDE_DESCR # Include | @@ -103,28 +103,28 @@ options SYSCTL_INCLUDE_DESCR # Include | |||
103 | #options BUFQ_READPRIO | 103 | #options BUFQ_READPRIO | |
104 | #options BUFQ_PRIOCSCAN | 104 | #options BUFQ_PRIOCSCAN | |
105 | 105 | |||
106 | ## NFS boot options; tries DHCP/BOOTP then BOOTPARAM | 106 | ## NFS boot options; tries DHCP/BOOTP then BOOTPARAM | |
107 | options NFS_BOOT_BOOTPARAM | 107 | options NFS_BOOT_BOOTPARAM | |
108 | #options NFS_BOOT_BOOTP | 108 | #options NFS_BOOT_BOOTP | |
109 | options NFS_BOOT_DHCP | 109 | options NFS_BOOT_DHCP | |
110 | 110 | |||
111 | #### Debugging options | 111 | #### Debugging options | |
112 | 112 | |||
113 | ## The DDB in-kernel debugger runs at panic (unless DDB_ONPANIC=0), or at | 113 | ## The DDB in-kernel debugger runs at panic (unless DDB_ONPANIC=0), or at | |
114 | ## serial console break or keyboard reset, where the PROM would normally | 114 | ## serial console break or keyboard reset, where the PROM would normally | |
115 | ## intercept. DDB_HISTORY_SIZE adds up/down arrow command history. | 115 | ## intercept. DDB_HISTORY_SIZE adds up/down arrow command history. | |
116 | #options DDB # kernel dynamic debugger | 116 | options DDB # kernel dynamic debugger | |
117 | #options DDB_HISTORY_SIZE=100 # enable history editing in DDB | 117 | options DDB_HISTORY_SIZE=100 # enable history editing in DDB | |
118 | #options DDB_ONPANIC=1 # see also sysctl(8): `ddb.onpanic' | 118 | #options DDB_ONPANIC=1 # see also sysctl(8): `ddb.onpanic' | |
119 | 119 | |||
120 | ## You may also use gdb, on another computer connected to this machine over | 120 | ## You may also use gdb, on another computer connected to this machine over | |
121 | ## a serial port. Both KGDB_DEV and KGDB_DEVRATE should be specified; | 121 | ## a serial port. Both KGDB_DEV and KGDB_DEVRATE should be specified; | |
122 | ## KGDB_DEV is a dev_t encoded device number of the serial port to use, where | 122 | ## KGDB_DEV is a dev_t encoded device number of the serial port to use, where | |
123 | ## the minor device number encodes the PROM enumeration of the serial ports, | 123 | ## the minor device number encodes the PROM enumeration of the serial ports, | |
124 | ## i.e.: | 124 | ## i.e.: | |
125 | ## 0xc00 = ttya, 0xc01 = ttyb, 0xc02 = ttyc, 0xc03 = ttyd. | 125 | ## 0xc00 = ttya, 0xc01 = ttyb, 0xc02 = ttyc, 0xc03 = ttyd. | |
126 | ## (Note: ttyc and ttyd are available only on some sun4 models) | 126 | ## (Note: ttyc and ttyd are available only on some sun4 models) | |
127 | #options KGDB # support for kernel gdb | 127 | #options KGDB # support for kernel gdb | |
128 | #options KGDB_DEV=0xc01 # kgdb device number (this is `ttyb') | 128 | #options KGDB_DEV=0xc01 # kgdb device number (this is `ttyb') | |
129 | #options KGDB_DEVRATE=38400 # baud rate | 129 | #options KGDB_DEVRATE=38400 # baud rate | |
130 | 130 |
--- src/sys/arch/sparc/conf/KRUPS 2009/03/06 20:31:52 1.49
+++ src/sys/arch/sparc/conf/KRUPS 2009/06/22 14:57:52 1.50
@@ -1,24 +1,24 @@ | @@ -1,24 +1,24 @@ | |||
1 | # $NetBSD: KRUPS,v 1.49 2009/03/06 20:31:52 joerg Exp $ | 1 | # $NetBSD: KRUPS,v 1.50 2009/06/22 14:57:52 tsutsui Exp $ | |
2 | # From: NetBSD: GENERIC,v 1.197 2006/12/04 23:43:35 elad Exp | 2 | # From: NetBSD: GENERIC,v 1.197 2006/12/04 23:43:35 elad Exp | |
3 | # | 3 | # | |
4 | # Krups (JavaStation-NC) machine description file | 4 | # Krups (JavaStation-NC) machine description file | |
5 | # | 5 | # | |
6 | 6 | |||
7 | include "arch/sparc/conf/std.sparc" | 7 | include "arch/sparc/conf/std.sparc" | |
8 | 8 | |||
9 | options INCLUDE_CONFIG_FILE # embed config file in kernel binary | 9 | options INCLUDE_CONFIG_FILE # embed config file in kernel binary | |
10 | 10 | |||
11 | #ident "KRUPS-$Revision: 1.49 $" | 11 | #ident "KRUPS-$Revision: 1.50 $" | |
12 | 12 | |||
13 | maxusers 32 | 13 | maxusers 32 | |
14 | 14 | |||
15 | ## System kernel configuration. See options(4) for more detail. | 15 | ## System kernel configuration. See options(4) for more detail. | |
16 | 16 | |||
17 | 17 | |||
18 | # Options for variants of the Sun SPARC architecure. | 18 | # Options for variants of the Sun SPARC architecure. | |
19 | # We currently support three architecture types; at least one is required. | 19 | # We currently support three architecture types; at least one is required. | |
20 | options SUN4M # sun4m - SS10, SS20, Classic, etc. | 20 | options SUN4M # sun4m - SS10, SS20, Classic, etc. | |
21 | 21 | |||
22 | # microSPARC-IIep is PCI based sun4m (JavaStation-NC, CP1200, etc) | 22 | # microSPARC-IIep is PCI based sun4m (JavaStation-NC, CP1200, etc) | |
23 | # This option selects if SUN4M means "normal" 4m or IIep. Kernels | 23 | # This option selects if SUN4M means "normal" 4m or IIep. Kernels | |
24 | # with this option turned on will refuse to work on normal 4m. | 24 | # with this option turned on will refuse to work on normal 4m. | |
@@ -107,28 +107,28 @@ options FONT_GALLANT12x22 # PROM font | @@ -107,28 +107,28 @@ options FONT_GALLANT12x22 # PROM font | |||
107 | 107 | |||
108 | # see dev/pckbport/wskbdmap_mfii.c for implemented layouts | 108 | # see dev/pckbport/wskbdmap_mfii.c for implemented layouts | |
109 | #options PCKBD_LAYOUT="(KB_DE | KB_NODEAD)" | 109 | #options PCKBD_LAYOUT="(KB_DE | KB_NODEAD)" | |
110 | 110 | |||
111 | # allocate a number of virtual screens at autoconfiguration time | 111 | # allocate a number of virtual screens at autoconfiguration time | |
112 | #options WSDISPLAY_DEFAULTSCREENS=4 | 112 | #options WSDISPLAY_DEFAULTSCREENS=4 | |
113 | 113 | |||
114 | 114 | |||
115 | #### Debugging options | 115 | #### Debugging options | |
116 | 116 | |||
117 | ## The DDB in-kernel debugger runs at panic (unless DDB_ONPANIC=0), or at | 117 | ## The DDB in-kernel debugger runs at panic (unless DDB_ONPANIC=0), or at | |
118 | ## serial console break or keyboard reset, where the PROM would normally | 118 | ## serial console break or keyboard reset, where the PROM would normally | |
119 | ## intercept. DDB_HISTORY_SIZE adds up/down arrow command history. | 119 | ## intercept. DDB_HISTORY_SIZE adds up/down arrow command history. | |
120 | #options DDB # kernel dynamic debugger | 120 | options DDB # kernel dynamic debugger | |
121 | #options DDB_HISTORY_SIZE=100 # enable history editing in DDB | 121 | options DDB_HISTORY_SIZE=100 # enable history editing in DDB | |
122 | #options DDB_ONPANIC=1 # see also sysctl(8): `ddb.onpanic' | 122 | #options DDB_ONPANIC=1 # see also sysctl(8): `ddb.onpanic' | |
123 | 123 | |||
124 | ## You may also use gdb, on another computer connected to this machine over | 124 | ## You may also use gdb, on another computer connected to this machine over | |
125 | ## a serial port. Both KGDB_DEV and KGDB_DEVRATE should be specified; | 125 | ## a serial port. Both KGDB_DEV and KGDB_DEVRATE should be specified; | |
126 | ## KGDB_DEV is a dev_t encoded device number of the serial port to use, where | 126 | ## KGDB_DEV is a dev_t encoded device number of the serial port to use, where | |
127 | ## the minor device number encodes the PROM enumeration of the serial ports, | 127 | ## the minor device number encodes the PROM enumeration of the serial ports, | |
128 | ## i.e.: | 128 | ## i.e.: | |
129 | ## 0xc00 = ttya, 0xc01 = ttyb, 0xc02 = ttyc, 0xc03 = ttyd. | 129 | ## 0xc00 = ttya, 0xc01 = ttyb, 0xc02 = ttyc, 0xc03 = ttyd. | |
130 | ## (Note: ttyc and ttyd are available only on some sun4 models) | 130 | ## (Note: ttyc and ttyd are available only on some sun4 models) | |
131 | #options KGDB # support for kernel gdb | 131 | #options KGDB # support for kernel gdb | |
132 | #options KGDB_DEV=0xc01 # kgdb device number (this is `ttyb') | 132 | #options KGDB_DEV=0xc01 # kgdb device number (this is `ttyb') | |
133 | #options KGDB_DEVRATE=38400 # baud rate | 133 | #options KGDB_DEVRATE=38400 # baud rate | |
134 | 134 |
--- src/sys/arch/sparc/conf/MRCOFFEE 2009/03/06 20:31:52 1.27
+++ src/sys/arch/sparc/conf/MRCOFFEE 2009/06/22 14:57:52 1.28
@@ -1,28 +1,28 @@ | @@ -1,28 +1,28 @@ | |||
1 | # $NetBSD: MRCOFFEE,v 1.27 2009/03/06 20:31:52 joerg Exp $ | 1 | # $NetBSD: MRCOFFEE,v 1.28 2009/06/22 14:57:52 tsutsui Exp $ | |
2 | # From: NetBSD: GENERIC,v 1.197 2006/12/04 23:43:35 elad Exp | 2 | # From: NetBSD: GENERIC,v 1.197 2006/12/04 23:43:35 elad Exp | |
3 | # | 3 | # | |
4 | # Mr.Coffee (JavaStation 1) machine description file | 4 | # Mr.Coffee (JavaStation 1) machine description file | |
5 | # | 5 | # | |
6 | # This configuration is for machines using Open Boot Prom only! | 6 | # This configuration is for machines using Open Boot Prom only! | |
7 | # The OpenFirmware-variants of JavaStation 1 should use the MRCOFFEE_OFW | 7 | # The OpenFirmware-variants of JavaStation 1 should use the MRCOFFEE_OFW | |
8 | # kernel. | 8 | # kernel. | |
9 | # | 9 | # | |
10 | 10 | |||
11 | include "arch/sparc/conf/std.sparc" | 11 | include "arch/sparc/conf/std.sparc" | |
12 | 12 | |||
13 | options INCLUDE_CONFIG_FILE # embed config file in kernel binary | 13 | options INCLUDE_CONFIG_FILE # embed config file in kernel binary | |
14 | 14 | |||
15 | #ident "MRCOFFEE-$Revision: 1.27 $" | 15 | #ident "MRCOFFEE-$Revision: 1.28 $" | |
16 | 16 | |||
17 | maxusers 32 | 17 | maxusers 32 | |
18 | 18 | |||
19 | ## System kernel configuration. See options(4) for more detail. | 19 | ## System kernel configuration. See options(4) for more detail. | |
20 | 20 | |||
21 | 21 | |||
22 | # Options for variants of the Sun SPARC architecure. | 22 | # Options for variants of the Sun SPARC architecure. | |
23 | # We currently support three architecture types; at least one is required. | 23 | # We currently support three architecture types; at least one is required. | |
24 | options SUN4M # sun4m - SS10, SS20, Classic, etc. | 24 | options SUN4M # sun4m - SS10, SS20, Classic, etc. | |
25 | 25 | |||
26 | 26 | |||
27 | ## System options specific to the sparc machine type | 27 | ## System options specific to the sparc machine type | |
28 | 28 | |||
@@ -78,28 +78,28 @@ options SYSCTL_INCLUDE_DESCR # Include | @@ -78,28 +78,28 @@ options SYSCTL_INCLUDE_DESCR # Include | |||
78 | #options BUFQ_READPRIO | 78 | #options BUFQ_READPRIO | |
79 | #options BUFQ_PRIOCSCAN | 79 | #options BUFQ_PRIOCSCAN | |
80 | 80 | |||
81 | ## NFS boot options; tries DHCP/BOOTP then BOOTPARAM | 81 | ## NFS boot options; tries DHCP/BOOTP then BOOTPARAM | |
82 | options NFS_BOOT_BOOTPARAM | 82 | options NFS_BOOT_BOOTPARAM | |
83 | #options NFS_BOOT_BOOTP | 83 | #options NFS_BOOT_BOOTP | |
84 | options NFS_BOOT_DHCP | 84 | options NFS_BOOT_DHCP | |
85 | 85 | |||
86 | #### Debugging options | 86 | #### Debugging options | |
87 | 87 | |||
88 | ## The DDB in-kernel debugger runs at panic (unless DDB_ONPANIC=0), or at | 88 | ## The DDB in-kernel debugger runs at panic (unless DDB_ONPANIC=0), or at | |
89 | ## serial console break or keyboard reset, where the PROM would normally | 89 | ## serial console break or keyboard reset, where the PROM would normally | |
90 | ## intercept. DDB_HISTORY_SIZE adds up/down arrow command history. | 90 | ## intercept. DDB_HISTORY_SIZE adds up/down arrow command history. | |
91 | #options DDB # kernel dynamic debugger | 91 | options DDB # kernel dynamic debugger | |
92 | #options DDB_HISTORY_SIZE=100 # enable history editing in DDB | 92 | options DDB_HISTORY_SIZE=100 # enable history editing in DDB | |
93 | #options DDB_ONPANIC=1 # see also sysctl(8): `ddb.onpanic' | 93 | #options DDB_ONPANIC=1 # see also sysctl(8): `ddb.onpanic' | |
94 | 94 | |||
95 | ## You may also use gdb, on another computer connected to this machine over | 95 | ## You may also use gdb, on another computer connected to this machine over | |
96 | ## a serial port. Both KGDB_DEV and KGDB_DEVRATE should be specified; | 96 | ## a serial port. Both KGDB_DEV and KGDB_DEVRATE should be specified; | |
97 | ## KGDB_DEV is a dev_t encoded device number of the serial port to use, where | 97 | ## KGDB_DEV is a dev_t encoded device number of the serial port to use, where | |
98 | ## the minor device number encodes the PROM enumeration of the serial ports, | 98 | ## the minor device number encodes the PROM enumeration of the serial ports, | |
99 | ## i.e.: | 99 | ## i.e.: | |
100 | ## 0xc00 = ttya, 0xc01 = ttyb, 0xc02 = ttyc, 0xc03 = ttyd. | 100 | ## 0xc00 = ttya, 0xc01 = ttyb, 0xc02 = ttyc, 0xc03 = ttyd. | |
101 | ## (Note: ttyc and ttyd are available only on some sun4 models) | 101 | ## (Note: ttyc and ttyd are available only on some sun4 models) | |
102 | #options KGDB # support for kernel gdb | 102 | #options KGDB # support for kernel gdb | |
103 | #options KGDB_DEV=0xc01 # kgdb device number (this is `ttyb') | 103 | #options KGDB_DEV=0xc01 # kgdb device number (this is `ttyb') | |
104 | #options KGDB_DEVRATE=38400 # baud rate | 104 | #options KGDB_DEVRATE=38400 # baud rate | |
105 | 105 |
--- src/sys/arch/sparc/conf/TADPOLE3GX 2009/03/06 20:31:52 1.46
+++ src/sys/arch/sparc/conf/TADPOLE3GX 2009/06/22 14:57:52 1.47
@@ -1,14 +1,14 @@ | @@ -1,14 +1,14 @@ | |||
1 | # $NetBSD: TADPOLE3GX,v 1.46 2009/03/06 20:31:52 joerg Exp $ | 1 | # $NetBSD: TADPOLE3GX,v 1.47 2009/06/22 14:57:52 tsutsui Exp $ | |
2 | 2 | |||
3 | include "arch/sparc/conf/std.sparc" | 3 | include "arch/sparc/conf/std.sparc" | |
4 | 4 | |||
5 | #options INCLUDE_CONFIG_FILE # embed config file in kernel binary | 5 | #options INCLUDE_CONFIG_FILE # embed config file in kernel binary | |
6 | 6 | |||
7 | # all supported SPARCbooks have V8 CPUs | 7 | # all supported SPARCbooks have V8 CPUs | |
8 | makeoptions CCPUOPTS="-mcpu=v8 -mtune=v8" | 8 | makeoptions CCPUOPTS="-mcpu=v8 -mtune=v8" | |
9 | 9 | |||
10 | maxusers 32 | 10 | maxusers 32 | |
11 | 11 | |||
12 | ## System kernel configuration. See options(4) for more detail. | 12 | ## System kernel configuration. See options(4) for more detail. | |
13 | 13 | |||
14 | 14 | |||
@@ -71,28 +71,28 @@ options USERCONF # userconf(4) support | @@ -71,28 +71,28 @@ options USERCONF # userconf(4) support | |||
71 | #options PIPE_SOCKETPAIR # smaller, but slower pipe(2) | 71 | #options PIPE_SOCKETPAIR # smaller, but slower pipe(2) | |
72 | #options SYSCTL_INCLUDE_DESCR # Include sysctl descriptions in kernel | 72 | #options SYSCTL_INCLUDE_DESCR # Include sysctl descriptions in kernel | |
73 | 73 | |||
74 | ## NFS boot options; tries DHCP/BOOTP then BOOTPARAM | 74 | ## NFS boot options; tries DHCP/BOOTP then BOOTPARAM | |
75 | options NFS_BOOT_BOOTPARAM | 75 | options NFS_BOOT_BOOTPARAM | |
76 | #options NFS_BOOT_BOOTP | 76 | #options NFS_BOOT_BOOTP | |
77 | options NFS_BOOT_DHCP | 77 | options NFS_BOOT_DHCP | |
78 | 78 | |||
79 | #### Debugging options | 79 | #### Debugging options | |
80 | 80 | |||
81 | ## The DDB in-kernel debugger runs at panic (unless DDB_ONPANIC=0), or at | 81 | ## The DDB in-kernel debugger runs at panic (unless DDB_ONPANIC=0), or at | |
82 | ## serial console break or keyboard reset, where the PROM would normally | 82 | ## serial console break or keyboard reset, where the PROM would normally | |
83 | ## intercept. DDB_HISTORY_SIZE adds up/down arrow command history. | 83 | ## intercept. DDB_HISTORY_SIZE adds up/down arrow command history. | |
84 | #options DDB # kernel dynamic debugger | 84 | options DDB # kernel dynamic debugger | |
85 | #options DDB_HISTORY_SIZE=100 # enable history editing in DDB | 85 | options DDB_HISTORY_SIZE=100 # enable history editing in DDB | |
86 | #options DDB_ONPANIC=1 # see also sysctl(8): `ddb.onpanic' | 86 | #options DDB_ONPANIC=1 # see also sysctl(8): `ddb.onpanic' | |
87 | 87 | |||
88 | ## You may also use gdb, on another computer connected to this machine over | 88 | ## You may also use gdb, on another computer connected to this machine over | |
89 | ## a serial port. Both KGDB_DEV and KGDB_DEVRATE should be specified; | 89 | ## a serial port. Both KGDB_DEV and KGDB_DEVRATE should be specified; | |
90 | ## KGDB_DEV is a dev_t encoded device number of the serial port to use. | 90 | ## KGDB_DEV is a dev_t encoded device number of the serial port to use. | |
91 | ## (0xc01 = ttya, 0xc02 = ttyb.) | 91 | ## (0xc01 = ttya, 0xc02 = ttyb.) | |
92 | #options KGDB # support for kernel gdb | 92 | #options KGDB # support for kernel gdb | |
93 | #options KGDB_DEV=0xc01 # kgdb device number (this is `ttyb') | 93 | #options KGDB_DEV=0xc01 # kgdb device number (this is `ttyb') | |
94 | #options KGDB_DEVRATE=38400 # baud rate | 94 | #options KGDB_DEVRATE=38400 # baud rate | |
95 | 95 | |||
96 | 96 | |||
97 | ## Compile the kernel with debugging symbols (`netbsd.gdb' is the debug file), | 97 | ## Compile the kernel with debugging symbols (`netbsd.gdb' is the debug file), | |
98 | ## such that gdb(1) can be used on a kernel coredump. | 98 | ## such that gdb(1) can be used on a kernel coredump. |