| Age | Commit message (Expand) | Author |
|---|---|---|
| 2019-05-28 | kern/sref: add optional debugging | Richard Braun |
| 2018-08-12 | kern/thread: make thread-specific data optional | Richard Braun |
| 2018-06-25 | Merge branch 'perfmon' | Richard Braun |
| 2018-06-25 | kern/perfmon: new module | Richard Braun |
| 2018-06-24 | kern/kmem: add option to disable the CPU layer | Richard Braun |
| 2018-04-14 | kern/rcu: make the window check interval configurable | Richard Braun |
| 2018-02-24 | kern/kmem: new KMEM_DEBUG option | Richard Braun |
| 2018-02-22 | kern/spinlock: add ownership tracking as a debugging feature | Richard Braun |
| 2018-01-08 | kern/Kconfig: new INIT_DEBUG option | Richard Braun |
| 2018-01-07 | kern/Kconfig: new MUTEX_DEBUG option | Richard Braun |
| 2017-10-31 | Rename CONFIG_MULTIPROCESSOR to CONFIG_SMP | Richard Braun |
| 2017-09-21 | New build system | Richard Braun |
 |
index : rbraun/x15.git | |
| The X15 microkernel | Richard Braun |
| summaryrefslogtreecommitdiff |