| Age | Commit message (Expand) | Author |
|---|---|---|
| 2018-02-24 | Don't use reserved identifiers | Richard Braun |
| 2017-08-27 | kern/condition: implement timed waits | 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 |