Turn on kernel debugging support (DDB, INVARIANTS, INVARIANT_SUPPORT, WITNESS)

by default while SMPng is still being developed. Submitted by: jhb
svn path=/head/; revision=75528
2001-04-15 19:37:28 +00:00 · 2001-04-15 19:37:28 +00:00 · c5e70d92ce · 2020-12-20 02:59:44 +00:00
commit c5e70d92ce
parent 65d7fc7c83
12 changed files with 118 additions and 6 deletions
--- a/release/Makefile
+++ b/release/Makefile
@ -847,6 +847,7 @@ doSTDKERNEL:
 			make KERNEL=${KERNEL} DESTDIR=${RD}/kernels install && \
 			[ -r ${.CURDIR}/../sys/${MACHINE}/conf/${KERNEL}.hints ] && \
 			cp ${.CURDIR}/../sys/${MACHINE}/conf/${KERNEL}.hints ${RD}/kernels
+			make KERNEL=${kernel} DESTDIR=${RD}/kernels kernel-reinstall.debug

 #
 # --==## Put a filesystem into a BOOTMFS kernel ##==--
--- a/release/alpha/dokern.sh
+++ b/release/alpha/dokern.sh
@ -54,6 +54,11 @@ sed	-e '/	pci$/d' \
 	-e '/SOFTUPDATES/d' \
 	-e '/MFS/d' \
 	-e '/NFS_ROOT/d' \
+	-e '/DEBUG/d' \
+	-e '/DDB/d' \
+	-e '/INVARIANTS/d' \
+	-e '/INVARIANT_SUPPORT/d' \
+	-e '/WITNESS/d' \
 	-e '/pcm/d' \
 	-e '/atapist/d' \
 	-e '/ugen/d' \
@ -82,6 +87,11 @@ sed	-e '/pty/d' \
 	-e '/SOFTUPDATES/d' \
 	-e '/MFS/d' \
 	-e '/NFS_ROOT/d' \
+ 	-e '/DEBUG/d' \
+ 	-e '/DDB/d' \
+ 	-e '/INVARIANTS/d' \
+ 	-e '/INVARIANT_SUPPORT/d' \
+ 	-e '/WITNESS/d' \
 	-e '/	ncr/d' \
 	-e '/pcm/d' \
 	-e '/atapist/d' \
@ -118,6 +128,11 @@ sed	\
 	-e '/SYSV/d' \
 	-e '/P1003_1B/d' \
 	-e '/_KPOSIX_PRIORITY_SCHEDULING/d' \
+ 	-e '/DEBUG/d' \
+ 	-e '/DDB/d' \
+ 	-e '/INVARIANTS/d' \
+ 	-e '/INVARIANT_SUPPORT/d' \
+ 	-e '/WITNESS/d' \
 	-e '/atapist/d' \
 	-e '/	ncr/d' \
 	-e '/pass/d' \
--- a/release/amd64/dokern.sh
+++ b/release/amd64/dokern.sh
@ -54,6 +54,11 @@ sed	-e '/	pci$/d' \
 	-e '/SOFTUPDATES/d' \
 	-e '/MFS/d' \
 	-e '/NFS_ROOT/d' \
+	-e '/DEBUG/d' \
+	-e '/DDB/d' \
+	-e '/INVARIANTS/d' \
+	-e '/INVARIANT_SUPPORT/d' \
+	-e '/WITNESS/d' \
 	-e '/pcm/d' \
 	-e '/atapist/d' \
 	-e '/ugen/d' \
@ -82,6 +87,11 @@ sed	-e '/pty/d' \
 	-e '/SOFTUPDATES/d' \
 	-e '/MFS/d' \
 	-e '/NFS_ROOT/d' \
+ 	-e '/DEBUG/d' \
+ 	-e '/DDB/d' \
+ 	-e '/INVARIANTS/d' \
+ 	-e '/INVARIANT_SUPPORT/d' \
+ 	-e '/WITNESS/d' \
 	-e '/	ncr/d' \
 	-e '/pcm/d' \
 	-e '/atapist/d' \
@ -118,6 +128,11 @@ sed	\
 	-e '/SYSV/d' \
 	-e '/P1003_1B/d' \
 	-e '/_KPOSIX_PRIORITY_SCHEDULING/d' \
+ 	-e '/DEBUG/d' \
+ 	-e '/DDB/d' \
+ 	-e '/INVARIANTS/d' \
+ 	-e '/INVARIANT_SUPPORT/d' \
+ 	-e '/WITNESS/d' \
 	-e '/atapist/d' \
 	-e '/	ncr/d' \
 	-e '/pass/d' \
--- a/release/i386/dokern.sh
+++ b/release/i386/dokern.sh
@ -54,6 +54,11 @@ sed	-e '/	pci$/d' \
 	-e '/SOFTUPDATES/d' \
 	-e '/MFS/d' \
 	-e '/NFS_ROOT/d' \
+	-e '/DEBUG/d' \
+	-e '/DDB/d' \
+	-e '/INVARIANTS/d' \
+	-e '/INVARIANT_SUPPORT/d' \
+	-e '/WITNESS/d' \
 	-e '/pcm/d' \
 	-e '/atapist/d' \
 	-e '/ugen/d' \
@ -82,6 +87,11 @@ sed	-e '/pty/d' \
 	-e '/SOFTUPDATES/d' \
 	-e '/MFS/d' \
 	-e '/NFS_ROOT/d' \
+ 	-e '/DEBUG/d' \
+ 	-e '/DDB/d' \
+ 	-e '/INVARIANTS/d' \
+ 	-e '/INVARIANT_SUPPORT/d' \
+ 	-e '/WITNESS/d' \
 	-e '/	ncr/d' \
 	-e '/pcm/d' \
 	-e '/atapist/d' \
@ -118,6 +128,11 @@ sed	\
 	-e '/SYSV/d' \
 	-e '/P1003_1B/d' \
 	-e '/_KPOSIX_PRIORITY_SCHEDULING/d' \
+ 	-e '/DEBUG/d' \
+ 	-e '/DDB/d' \
+ 	-e '/INVARIANTS/d' \
+ 	-e '/INVARIANT_SUPPORT/d' \
+ 	-e '/WITNESS/d' \
 	-e '/atapist/d' \
 	-e '/	ncr/d' \
 	-e '/pass/d' \
--- a/release/pc98/dokern.sh
+++ b/release/pc98/dokern.sh
@ -54,6 +54,11 @@ sed	-e '/	pci$/d' \
 	-e '/SOFTUPDATES/d' \
 	-e '/MFS/d' \
 	-e '/NFS_ROOT/d' \
+	-e '/DEBUG/d' \
+	-e '/DDB/d' \
+	-e '/INVARIANTS/d' \
+	-e '/INVARIANT_SUPPORT/d' \
+	-e '/WITNESS/d' \
 	-e '/pcm/d' \
 	-e '/atapist/d' \
 	-e '/ugen/d' \
@ -82,6 +87,11 @@ sed	-e '/pty/d' \
 	-e '/SOFTUPDATES/d' \
 	-e '/MFS/d' \
 	-e '/NFS_ROOT/d' \
+ 	-e '/DEBUG/d' \
+ 	-e '/DDB/d' \
+ 	-e '/INVARIANTS/d' \
+ 	-e '/INVARIANT_SUPPORT/d' \
+ 	-e '/WITNESS/d' \
 	-e '/	ncr/d' \
 	-e '/pcm/d' \
 	-e '/atapist/d' \
@ -118,6 +128,11 @@ sed	\
 	-e '/SYSV/d' \
 	-e '/P1003_1B/d' \
 	-e '/_KPOSIX_PRIORITY_SCHEDULING/d' \
+ 	-e '/DEBUG/d' \
+ 	-e '/DDB/d' \
+ 	-e '/INVARIANTS/d' \
+ 	-e '/INVARIANT_SUPPORT/d' \
+ 	-e '/WITNESS/d' \
 	-e '/atapist/d' \
 	-e '/	ncr/d' \
 	-e '/pass/d' \
--- a/release/scripts/dokern.sh
+++ b/release/scripts/dokern.sh
@ -54,6 +54,11 @@ sed	-e '/	pci$/d' \
 	-e '/SOFTUPDATES/d' \
 	-e '/MFS/d' \
 	-e '/NFS_ROOT/d' \
+	-e '/DEBUG/d' \
+	-e '/DDB/d' \
+	-e '/INVARIANTS/d' \
+	-e '/INVARIANT_SUPPORT/d' \
+	-e '/WITNESS/d' \
 	-e '/pcm/d' \
 	-e '/atapist/d' \
 	-e '/ugen/d' \
@ -82,6 +87,11 @@ sed	-e '/pty/d' \
 	-e '/SOFTUPDATES/d' \
 	-e '/MFS/d' \
 	-e '/NFS_ROOT/d' \
+ 	-e '/DEBUG/d' \
+ 	-e '/DDB/d' \
+ 	-e '/INVARIANTS/d' \
+ 	-e '/INVARIANT_SUPPORT/d' \
+ 	-e '/WITNESS/d' \
 	-e '/	ncr/d' \
 	-e '/pcm/d' \
 	-e '/atapist/d' \
@ -118,6 +128,11 @@ sed	\
 	-e '/SYSV/d' \
 	-e '/P1003_1B/d' \
 	-e '/_KPOSIX_PRIORITY_SCHEDULING/d' \
+ 	-e '/DEBUG/d' \
+ 	-e '/DDB/d' \
+ 	-e '/INVARIANTS/d' \
+ 	-e '/INVARIANT_SUPPORT/d' \
+ 	-e '/WITNESS/d' \
 	-e '/atapist/d' \
 	-e '/	ncr/d' \
 	-e '/pass/d' \
--- a/sys/alpha/conf/GENERIC
+++ b/sys/alpha/conf/GENERIC
@ -30,7 +30,7 @@ maxusers	32
 #To statically compile in device wiring instead of /boot/device.hints
 #hints		"GENERIC.hints"

-#makeoptions	DEBUG=-g		#Build kernel with gdb(1) debug symbols
+makeoptions	DEBUG=-g		#Build kernel with gdb(1) debug symbols

 # Platforms supported
 options		API_UP1000		# UP1000, UP1100 (Nautilus)
@ -70,6 +70,12 @@ options 	SYSVSEM			#SYSV-style semaphores
 options		P1003_1B		#Posix P1003_1B real-time extentions
 options 	_KPOSIX_PRIORITY_SCHEDULING

+# Debugging for use in -current
+options 	DDB
+options 	INVARIANTS
+options 	INVARIANT_SUPPORT
+options 	WITNESS
+
 # Standard busses
 device		isa
 device		pci
--- a/sys/alpha/conf/NOTES
+++ b/sys/alpha/conf/NOTES
@ -30,7 +30,7 @@ maxusers	32
 #To statically compile in device wiring instead of /boot/device.hints
 #hints		"GENERIC.hints"

-#makeoptions	DEBUG=-g		#Build kernel with gdb(1) debug symbols
+makeoptions	DEBUG=-g		#Build kernel with gdb(1) debug symbols

 # Platforms supported
 options		API_UP1000		# UP1000, UP1100 (Nautilus)
@ -70,6 +70,12 @@ options 	SYSVSEM			#SYSV-style semaphores
 options		P1003_1B		#Posix P1003_1B real-time extentions
 options 	_KPOSIX_PRIORITY_SCHEDULING

+# Debugging for use in -current
+options 	DDB
+options 	INVARIANTS
+options 	INVARIANT_SUPPORT
+options 	WITNESS
+
 # Standard busses
 device		isa
 device		pci
--- a/sys/amd64/conf/GENERIC
+++ b/sys/amd64/conf/GENERIC
@ -27,7 +27,7 @@ maxusers	32
 #To statically compile in device wiring instead of /boot/device.hints
 #hints		"GENERIC.hints"		#Default places to look for devices.

-#makeoptions	DEBUG=-g		#Build kernel with gdb(1) debug symbols
+makeoptions	DEBUG=-g		#Build kernel with gdb(1) debug symbols

 options 	MATH_EMULATE		#Support for x87 emulation
 options 	INET			#InterNETworking
@ -55,6 +55,12 @@ options 	P1003_1B		#Posix P1003_1B real-time extensions
 options 	_KPOSIX_PRIORITY_SCHEDULING
 options 	KBD_INSTALL_CDEV	# install a CDEV entry in /dev

+# Debugging for use in -current
+options 	DDB
+options 	INVARIANTS
+options 	INVARIANT_SUPPORT
+options 	WITNESS
+
 # To make an SMP kernel, the next two are needed
 #options 	SMP			# Symmetric MultiProcessor Kernel
 #options 	APIC_IO			# Symmetric (APIC) I/O
--- a/sys/i386/conf/GENERIC
+++ b/sys/i386/conf/GENERIC
@ -27,7 +27,7 @@ maxusers	32
 #To statically compile in device wiring instead of /boot/device.hints
 #hints		"GENERIC.hints"		#Default places to look for devices.

-#makeoptions	DEBUG=-g		#Build kernel with gdb(1) debug symbols
+makeoptions	DEBUG=-g		#Build kernel with gdb(1) debug symbols

 options 	MATH_EMULATE		#Support for x87 emulation
 options 	INET			#InterNETworking
@ -55,6 +55,12 @@ options 	P1003_1B		#Posix P1003_1B real-time extensions
 options 	_KPOSIX_PRIORITY_SCHEDULING
 options 	KBD_INSTALL_CDEV	# install a CDEV entry in /dev

+# Debugging for use in -current
+options 	DDB
+options 	INVARIANTS
+options 	INVARIANT_SUPPORT
+options 	WITNESS
+
 # To make an SMP kernel, the next two are needed
 #options 	SMP			# Symmetric MultiProcessor Kernel
 #options 	APIC_IO			# Symmetric (APIC) I/O
--- a/sys/ia64/conf/GENERIC
+++ b/sys/ia64/conf/GENERIC
@ -29,7 +29,7 @@ maxusers	32
 #To statically compile in device wiring instead of /boot/device.hints
 #hints		"GENERIC.hints"

-#makeoptions	DEBUG=-g		#Build kernel with gdb(1) debug symbols
+makeoptions	DEBUG=-g		#Build kernel with gdb(1) debug symbols

 options 	INET			#InterNETworking
 options 	INET6			#IPv6 communications protocols
@ -53,6 +53,12 @@ options 	SYSVSEM			#SYSV-style semaphores
 options		P1003_1B		#Posix P1003_1B real-time extentions
 options 	_KPOSIX_PRIORITY_SCHEDULING

+# Debugging for use in -current
+options 	DDB
+options 	INVARIANTS
+options 	INVARIANT_SUPPORT
+options 	WITNESS
+
 # Standard busses
 device		isa
 device		pci
--- a/sys/pc98/conf/GENERIC
+++ b/sys/pc98/conf/GENERIC
@ -28,7 +28,7 @@ maxusers	32
 #To statically compile in device wiring instead of /boot/device.hints
 #hints		"GENERIC.hints"		#Default places to look for devices.

-#makeoptions	DEBUG=-g		#Build kernel with gdb(1) debug symbols
+makeoptions	DEBUG=-g		#Build kernel with gdb(1) debug symbols

 options 	PC98			#PC98
 options 	MATH_EMULATE		#Support for x87 emulation
@ -60,6 +60,12 @@ options 	P1003_1B		#Posix P1003_1B real-time extensions
 options 	_KPOSIX_PRIORITY_SCHEDULING
 options 	KBD_INSTALL_CDEV	# install a CDEV entry in /dev

+# Debugging for use in -current
+options 	DDB
+options 	INVARIANTS
+options 	INVARIANT_SUPPORT
+options 	WITNESS
+
 # To make an SMP kernel, the next two are needed
 #options 	SMP			# Symmetric MultiProcessor Kernel
 #options 	APIC_IO			# Symmetric (APIC) I/O