L4 Lock Reference Manual
The L4 lock library is a simple, semaphore-based lock implementation. A lock can be reentered by the thread which owns the lock, but the number of lock operations must equal the number of unlock operations.
The L4 Lock Library uses semaphores to implement locks, thus the semaphore lib must be linked to the binaries (see the Semaphore Library Reference Manual for more information). The lock implemenation itself consists only of inline functions, so there is no library to link.