| Age | Commit message (Expand) | Author |
|---|---|---|
| 2017-04-29 | New stdio.h standard header | Richard Braun |
| 2017-04-29 | kern/printk: rename to printf | Richard Braun |
| 2017-04-04 | Use the new atomic operations interface | Agustina Arzille |
| 2017-03-16 | Update system counter names | Richard Braun |
| 2017-03-15 | kern/syscnt: replace the evcnt module | Richard Braun |
 |
index : rbraun/x15.git | |
| The X15 microkernel | Richard Braun |
| summaryrefslogtreecommitdiff |