diff options
| author | imp <imp@FreeBSD.org> | 2007-10-26 02:35:42 +0000 |
|---|---|---|
| committer | imp <imp@FreeBSD.org> | 2007-10-26 02:35:42 +0000 |
| commit | 6349ab663a1b206161fc89983f0be884809286f7 (patch) | |
| tree | 90351c4b16f398c0131e035b80d030e68755c9ca /sys/amd64/conf | |
| parent | 49831563ebbc64612338c1d56925792347ab33d0 (diff) | |
| download | FreeBSD-src-6349ab663a1b206161fc89983f0be884809286f7.zip FreeBSD-src-6349ab663a1b206161fc89983f0be884809286f7.tar.gz | |
Ooops. Put back Invariants and witness
Submitted by: csjp
Diffstat (limited to 'sys/amd64/conf')
| -rw-r--r-- | sys/amd64/conf/GENERIC | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/sys/amd64/conf/GENERIC b/sys/amd64/conf/GENERIC index 44e1a84..b6af868 100644 --- a/sys/amd64/conf/GENERIC +++ b/sys/amd64/conf/GENERIC @@ -67,10 +67,10 @@ options AUDIT # Security event auditing options KDB # Enable kernel debugger support. options DDB # Support DDB. options GDB # Support remote GDB. -# options INVARIANTS # Enable calls of extra sanity checking -# options INVARIANT_SUPPORT # Extra sanity checks of internal structures, required by INVARIANTS -# options WITNESS # Enable checks to detect deadlocks and cycles -# options WITNESS_SKIPSPIN # Don't run witness on spinlocks for speed +options INVARIANTS # Enable calls of extra sanity checking +options INVARIANT_SUPPORT # Extra sanity checks of internal structures, required by INVARIANTS +options WITNESS # Enable checks to detect deadlocks and cycles +options WITNESS_SKIPSPIN # Don't run witness on spinlocks for speed # Make an SMP-capable kernel by default options SMP # Symmetric MultiProcessor Kernel |
