| Age | Commit message (Expand) | Author |
|---|---|---|
| 2019-09-13 | Fix the documentation according to the memory modelmemory_model_dev | Richard Braun |
| 2019-08-16 | Document and reimplement RCU read-side critical section primitives | Richard Braun |
| 2019-08-16 | Reword RCU guarantees | Richard Braun |
| 2018-02-24 | Don't use reserved identifiers | Richard Braun |
| 2018-02-20 | Rework the initialization operations of some kernel modules | Richard Braun |
| 2018-02-20 | kern/rcu: new module | Richard Braun |
 |
index : rbraun/x15.git | |
| The X15 microkernel | Richard Braun |
| summaryrefslogtreecommitdiff |