diff options
| author | obrien <obrien@FreeBSD.org> | 2001-04-15 19:37:28 +0000 |
|---|---|---|
| committer | obrien <obrien@FreeBSD.org> | 2001-04-15 19:37:28 +0000 |
| commit | c7790304defd50842d2d5c8eb946fef9393baec4 (patch) | |
| tree | 9d7e00ac800f37f145796348e7b61c7f99d498fc /sys/ia64 | |
| parent | 406ae6ca2cb3f18c21e5b9dc566de193754d3cbf (diff) | |
| download | FreeBSD-src-c7790304defd50842d2d5c8eb946fef9393baec4.zip FreeBSD-src-c7790304defd50842d2d5c8eb946fef9393baec4.tar.gz | |
Turn on kernel debugging support (DDB, INVARIANTS, INVARIANT_SUPPORT, WITNESS)
by default while SMPng is still being developed.
Submitted by: jhb
Diffstat (limited to 'sys/ia64')
| -rw-r--r-- | sys/ia64/conf/GENERIC | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/sys/ia64/conf/GENERIC b/sys/ia64/conf/GENERIC index effabbc..9c6f5a0 100644 --- 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 |
