| Age | Commit message (Expand) | Author |
|---|---|---|
| 2017-03-04 | kern/mutex: implement the --enable-mutex-pi option | Richard Braun |
| 2017-03-04 | kern/{condition,mutex}: reimplement on top of sleep queues | Richard Braun |
| 2017-02-04 | kern/list: update | Richard Braun |
| 2017-02-04 | kern/types: split into module-specific type headers | Richard Braun |
 |
index : rbraun/x15.git | |
| The X15 microkernel | Richard Braun |
| summaryrefslogtreecommitdiff |