| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | mutex_adaptive.c | 6871 | logplain |
| -rw-r--r-- | mutex_adaptive_i.h | 3190 | logplain |
| -rw-r--r-- | mutex_adaptive_types.h | 1106 | logplain |
| -rw-r--r-- | mutex_pi_i.h | 1668 | logplain |
| -rw-r--r-- | mutex_pi_types.h | 1211 | logplain |
| -rw-r--r-- | mutex_plain.c | 2424 | logplain |
| -rw-r--r-- | mutex_plain_i.h | 2907 | logplain |
| -rw-r--r-- | mutex_plain_types.h | 1073 | logplain |
 |
index : rbraun/x15.git | |
| The X15 microkernel | Richard Braun |
| summaryrefslogtreecommitdiff |