Files: /kernel/_sources/locking/rt-mutex-design.rst.txt