+config SEM_SPINWAIT
+ bool "Semaphore spinwaiting"
+ default n
+ help
+ Turns on semaphore spinwaiting. In lieu of intelligent Adaptive
+ Mutexes, busy semaphores will just spin for a while before fully
+ sleeping.
+
+config SEM_SPINWAIT_NR_LOOPS
+ int "Number of polls before sleeping"
+ depends on SEM_SPINWAIT
+ default 100
+ help
+ How many times to poll a busy semaphore before going to sleep.
+
+config SEM_TRACE_BLOCKERS
+ bool "Semaphore Blocker Tracing"
+ default n
+ help
+ Drops a TRACEME whenever a semaphore would block (barring slight
+ races). To access the trace data, you'll need to use the opcontrols
+ and process the data with op2.
+