diff options
| author | Richard Braun <rbraun@sceen.net> | 2018-01-12 00:02:27 +0100 |
|---|---|---|
| committer | Richard Braun <rbraun@sceen.net> | 2018-01-12 00:08:06 +0100 |
| commit | fcdb23537dfb11e5f37418898203e2c36417c9aa (patch) | |
| tree | ffdd0d432e1bee4f9b57c09f2216b296f717f67c /kern/timer.c | |
| parent | c43b8068b6e613da3a24a1b5e6b765e5eebbbd6c (diff) | |
kern/rtmutex: add comments
Diffstat (limited to 'kern/timer.c')
0 files changed, 0 insertions, 0 deletions