Age | Commit message (Expand) | Author |
---|---|---|
2018-03-02 | kern/spinlock: fix and optimize | Richard Braun |
2018-03-02 | kern/spinlock: fix direct use of CONFIG_SPINLOCK_DEBUG | Richard Braun |
2018-02-24 | Don't use reserved identifiers | Richard Braun |
2018-02-22 | kern/spinlock: add ownership tracking as a debugging feature | Richard Braun |
2017-04-03 | kern/spinlock: new fair and scalable implementation | Richard Braun |
2017-02-04 | kern/types: split into module-specific type headers | Richard Braun |