rbraun/x15.git - The X15 microkernel

Age	Commit message (Expand)	Author
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-08	kern/thread: add wait channels	Richard Braun
2017-02-04	kern/types: split into module-specific type headers	Richard Braun
2017-01-28	kern/mutex: remove unnecessary header inclusion	Richard Braun
2014-06-18	kern/thread: add thread_join	Richard Braun
2014-01-03	Update calls to atomic operations	Richard Braun
2013-04-14	kern/{condition,mutex}: refactor common code	Richard Braun