|
Lines 80-90
Link Here
|
| 80 |
options DDB # Support DDB. |
80 |
options DDB # Support DDB. |
| 81 |
options GDB # Support remote GDB. |
81 |
options GDB # Support remote GDB. |
| 82 |
options DEADLKRES # Enable the deadlock resolver |
82 |
options DEADLKRES # Enable the deadlock resolver |
| 83 |
options INVARIANTS # Enable calls of extra sanity checking |
83 |
#options INVARIANTS # Enable calls of extra sanity checking |
| 84 |
options INVARIANT_SUPPORT # Extra sanity checks of internal structures, required by INVARIANTS |
84 |
#options INVARIANT_SUPPORT # Extra sanity checks of internal structures, required by INVARIANTS |
| 85 |
options WITNESS # Enable checks to detect deadlocks and cycles |
85 |
#options WITNESS # Enable checks to detect deadlocks and cycles |
| 86 |
options WITNESS_SKIPSPIN # Don't run witness on spinlocks for speed |
86 |
#options WITNESS_SKIPSPIN # Don't run witness on spinlocks for speed |
| 87 |
options MALLOC_DEBUG_MAXZONES=8 # Separate malloc(9) zones |
87 |
#options MALLOC_DEBUG_MAXZONES=8 # Separate malloc(9) zones |
| 88 |
|
88 |
|
| 89 |
# Make an SMP-capable kernel by default |
89 |
# Make an SMP-capable kernel by default |
| 90 |
options SMP # Symmetric MultiProcessor Kernel |
90 |
options SMP # Symmetric MultiProcessor Kernel |