diff options
| author | David E. O'Brien <obrien@FreeBSD.org> | 2001-04-15 19:37:28 +0000 |
|---|---|---|
| committer | David E. O'Brien <obrien@FreeBSD.org> | 2001-04-15 19:37:28 +0000 |
| commit | c5e70d92cea817642c369b785554947bda297e6d (patch) | |
| tree | 8ae65bd843862b1ec8645b9ad71bfbae80df5201 /sys/i386/conf/GENERIC | |
| parent | 65d7fc7c83e96b91a4299e6d66c744afb735f3f3 (diff) | |
| download | src-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 'sys/i386/conf/GENERIC')
| -rw-r--r-- | sys/i386/conf/GENERIC | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/sys/i386/conf/GENERIC b/sys/i386/conf/GENERIC index b61243451a0f..2dada597328e 100644 --- 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 |