| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | mutex_adaptive.c | 10641 | logplain |
| -rw-r--r-- | mutex_adaptive_i.h | 3611 | logplain |
| -rw-r--r-- | mutex_adaptive_types.h | 1102 | logplain |
| -rw-r--r-- | mutex_pi_i.h | 1859 | logplain |
| -rw-r--r-- | mutex_pi_types.h | 1207 | logplain |
| -rw-r--r-- | mutex_plain.c | 4486 | logplain |
| -rw-r--r-- | mutex_plain_i.h | 3354 | logplain |
| -rw-r--r-- | mutex_plain_types.h | 1069 | logplain |
 |
index : rbraun/x15.git | |
| The X15 microkernel | Richard Braun |
| summaryrefslogtreecommitdiff |