| Age | Commit message (Expand) | Author |
|---|---|---|
| 2017-01-25 | kern/stdint: define intptr_t | Richard Braun |
| 2017-01-13 | Replace unsigned long with uintptr_t for integer/pointer conversions | Richard Braun |
| 2012-11-03 | Merge lib into kern | Richard Braun |
 |
index : rbraun/x15.git | |
| The X15 microkernel | Richard Braun |
| summaryrefslogtreecommitdiff |