summaryrefslogtreecommitdiff
path: root/kern/mutex_types.h
AgeCommit message (Expand)Author
2018-02-24Don't use reserved identifiersRichard Braun
2017-09-21New build systemRichard Braun
2017-09-02Rework the build systemRichard Braun
2017-07-21kern/mutex: new adaptive spinning mutex implementationAgustina Arzille
2017-07-21Rework mutex implementation selectionAgustina Arzille
2017-03-04kern/mutex: implement the --enable-mutex-pi optionRichard Braun
2017-03-04kern/{condition,mutex}: reimplement on top of sleep queuesRichard Braun
2017-02-04kern/list: updateRichard Braun
2017-02-04kern/types: split into module-specific type headersRichard Braun