Skip to content
add user-level mutex

- this mutex is used by libstd
- support of priority inheritance to avoid priority inversion