diff options
| author | Richard Braun <rbraun@sceen.net> | 2017-03-04 16:21:57 +0100 |
|---|---|---|
| committer | Richard Braun <rbraun@sceen.net> | 2017-03-04 16:52:30 +0100 |
| commit | 3fcd23576e800ebbfb1378c2e6aff2e9e1027989 (patch) | |
| tree | 023c4230e8ff225e967a4213421a973fa4dea88d /kern/mutex.c | |
| parent | 3ae5551b3368b16ddbc1441710e1f272b1c0ad22 (diff) | |
kern/rtmutex: new module
The rtmutex provides real-time mutexes, i.e. mutexes for which priority
inheritance is unconditionally enabled.
Diffstat (limited to 'kern/mutex.c')
0 files changed, 0 insertions, 0 deletions