| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | mutex_adaptive.c | 10472 | logplain |
| -rw-r--r-- | mutex_adaptive_i.h | 3300 | logplain |
| -rw-r--r-- | mutex_adaptive_types.h | 1106 | logplain |
| -rw-r--r-- | mutex_pi_i.h | 1708 | logplain |
| -rw-r--r-- | mutex_pi_types.h | 1211 | logplain |
| -rw-r--r-- | mutex_plain.c | 4286 | logplain |
| -rw-r--r-- | mutex_plain_i.h | 3011 | logplain |
| -rw-r--r-- | mutex_plain_types.h | 1073 | logplain |
 |
index : rbraun/x15.git | |
| The X15 microkernel | Richard Braun |
| summaryrefslogtreecommitdiff |