rbraun/x15.git - The X15 microkernel

Age	Commit message (Expand)	Author
2017-05-09	Replace sequential consistency with more efficient orders	Agustina Arzille
2017-04-04	Use the new atomic operations interface	Agustina Arzille
2017-03-19	kern/thread: formally define interrupt context	Richard Braun
2017-03-16	kern/thread: improve description of thread locking	Richard Braun
2017-03-04	kern/thread: minor changes in comments	Richard Braun
2017-03-04	kern/{condition,mutex}: reimplement on top of sleep queues	Richard Braun
2017-03-04	kern/{thread,turnstile}: implement priority inheritance	Richard Braun
2017-03-04	kern/thread: fix thread_setscheduler	Richard Braun
2017-03-04	kern/sleepq: new module	Richard Braun
2017-02-14	kern/thread: add reference counter	Richard Braun
2017-02-13	kern/thread: minor global priority rework	Richard Braun
2017-02-08	kern/thread: add wait channels	Richard Braun
2017-02-04	kern/list: update	Richard Braun
2017-02-04	kern/types: split into module-specific type headers	Richard Braun
2017-01-31	kern/thread: make priority a generic thread property	Richard Braun
2017-01-29	kern/thread: rename "time-sharing" to "fair-scheduling"	Richard Braun
2017-01-23	kern/thread: move private definitions to thread_i.h	Richard Braun