Remove WITNESS from GENERIC by default: as we grow more locks, this gets
slower, and may be impeding adoption of -CURRENT by developers. We recommend turning on WITNESS by default on crash boxes, and when doing locking development. It will probably get turned on by default for a week or two following any major locking commits, also. Approved by: all and sundry (jhb, phk, ...)
This commit is contained in:
parent
1dc023ed5d
commit
0acde7337d
@ -75,7 +75,7 @@ options _KPOSIX_PRIORITY_SCHEDULING
|
||||
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 #Enable mutex checks to detects deadlocks and cycles
|
||||
|
||||
# To make an SMP kernel, the next line is needed
|
||||
options SMP # Symmetric MultiProcessor Kernel
|
||||
|
@ -75,7 +75,7 @@ options _KPOSIX_PRIORITY_SCHEDULING
|
||||
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 #Enable mutex checks to detects deadlocks and cycles
|
||||
|
||||
# To make an SMP kernel, the next line is needed
|
||||
options SMP # Symmetric MultiProcessor Kernel
|
||||
|
@ -59,7 +59,7 @@ options KBD_INSTALL_CDEV # install a CDEV entry in /dev
|
||||
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 #Enable mutex checks to detects deadlocks and cycles
|
||||
|
||||
# To make an SMP kernel, the next two are needed
|
||||
#options SMP # Symmetric MultiProcessor Kernel
|
||||
|
@ -59,7 +59,7 @@ options KBD_INSTALL_CDEV # install a CDEV entry in /dev
|
||||
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 #Enable mutex checks to detects deadlocks and cycles
|
||||
|
||||
# To make an SMP kernel, the next two are needed
|
||||
#options SMP # Symmetric MultiProcessor Kernel
|
||||
|
@ -60,7 +60,7 @@ options _KPOSIX_PRIORITY_SCHEDULING
|
||||
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 #Enable mutex checks to detects deadlocks and cycles
|
||||
|
||||
# Standard busses
|
||||
device isa
|
||||
|
Loading…
Reference in New Issue
Block a user