4 - documentation on the runtime locking correctness validator.
6 - info on collecting statistics on locks (and contention).
8 - info on the generic mutex subsystem.
10 - description of the RealTime mutex implementation design.
12 - desc. of RT-mutex subsystem with PI (Priority Inheritance) support.
14 - info on using spinlocks to provide exclusive access in kernel.
16 - Intro to Mutex wait/would deadlock handling.s