| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | mutex_adaptive.c | 10731 | logplain |
| -rw-r--r-- | mutex_adaptive_i.h | 3449 | logplain |
| -rw-r--r-- | mutex_adaptive_types.h | 1106 | logplain |
| -rw-r--r-- | mutex_pi_i.h | 1817 | logplain |
| -rw-r--r-- | mutex_pi_types.h | 1211 | logplain |
| -rw-r--r-- | mutex_plain.c | 4500 | logplain |
| -rw-r--r-- | mutex_plain_i.h | 3154 | logplain |
| -rw-r--r-- | mutex_plain_types.h | 1073 | logplain |
 |
index : rbraun/x15.git | |
| The X15 microkernel | Richard Braun |
| summaryrefslogtreecommitdiff |