MFi386: revisions 1.334 and 1.335

This commit is contained in:
Yoshihiro Takahashi 2002-02-16 13:13:22 +00:00
parent 35c1f59123
commit 911eb59369

View File

@ -66,6 +66,7 @@ options DDB #Enable the kernel debugger
options INVARIANTS #Enable calls of extra sanity checking
options INVARIANT_SUPPORT #Extra sanity checks of internal structures, required by INVARIANTS
options WITNESS #Enable mutex checks to detects deadlocks and cycles
options WITNESS_SKIPSPIN #Don't run witness on spinlocks for speed
# To make an SMP kernel, the next two are needed
#options SMP # Symmetric MultiProcessor Kernel