diff options
| author | Warner Losh <imp@FreeBSD.org> | 2007-10-26 02:35:42 +0000 |
|---|---|---|
| committer | Warner Losh <imp@FreeBSD.org> | 2007-10-26 02:35:42 +0000 |
| commit | 47e87d5ad0424957bbe316a7a2edb58473bb905a (patch) | |
| tree | 90351c4b16f398c0131e035b80d030e68755c9ca /sys | |
| parent | 97816f8e3d45e95671ab4c669631e8097dd1d71b (diff) | |
| download | src-47e87d5ad0424957bbe316a7a2edb58473bb905a.tar.gz src-47e87d5ad0424957bbe316a7a2edb58473bb905a.zip | |
Ooops. Put back Invariants and witness
Submitted by: csjp
Notes
Notes:
svn path=/head/; revision=172997
Diffstat (limited to 'sys')
| -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 44e1a8480925..b6af8687e7dc 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 |