aboutsummaryrefslogtreecommitdiff
path: root/release/amd64
diff options
context:
space:
mode:
authorDavid E. O'Brien <obrien@FreeBSD.org>2001-04-15 19:37:28 +0000
committerDavid E. O'Brien <obrien@FreeBSD.org>2001-04-15 19:37:28 +0000
commitc5e70d92cea817642c369b785554947bda297e6d (patch)
tree8ae65bd843862b1ec8645b9ad71bfbae80df5201 /release/amd64
parent65d7fc7c83e96b91a4299e6d66c744afb735f3f3 (diff)
downloadsrc-c5e70d92cea817642c369b785554947bda297e6d.tar.gz
src-c5e70d92cea817642c369b785554947bda297e6d.zip
Turn on kernel debugging support (DDB, INVARIANTS, INVARIANT_SUPPORT, WITNESS)
by default while SMPng is still being developed. Submitted by: jhb
Notes
Notes: svn path=/head/; revision=75528
Diffstat (limited to 'release/amd64')
-rwxr-xr-xrelease/amd64/dokern.sh15
1 files changed, 15 insertions, 0 deletions
diff --git a/release/amd64/dokern.sh b/release/amd64/dokern.sh
index 955663c2e788..572ad5de835b 100755
--- 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' \