Age | Commit message (Expand) | Author |
---|---|---|
2018-02-24 | Don't use reserved identifiers | Richard Braun |
2017-09-21 | New build system | Richard Braun |
2017-09-02 | Rework the build system | Richard Braun |
2017-07-21 | kern/mutex: new adaptive spinning mutex implementation | Agustina Arzille |
2017-07-21 | Rework mutex implementation selection | Agustina Arzille |
2017-03-04 | kern/mutex: implement the --enable-mutex-pi option | Richard Braun |
2017-03-04 | kern/{condition,mutex}: reimplement on top of sleep queues | Richard Braun |
2017-02-04 | kern/list: update | Richard Braun |
2017-02-04 | kern/types: split into module-specific type headers | Richard Braun |