rbraun/x15.git - The X15 microkernel

Age	Commit message (Collapse)	Author
2017-08-27	kern/rtmutex: implement timed waits	Richard Braun

2017-05-30	Move assert.h to the include directory	Richard Braun
	This turns assert.h into a standard header.
2017-05-09	Replace sequential consistency with more efficient orders	Agustina Arzille

2017-04-09	kern/{mutex,rtmutex}: normalize fast path names	Richard Braun

2017-04-04	Use the new atomic operations interface	Agustina Arzille
	Stick to a sequentially consistent model for most atomic operations as it matches the semantics of the existing code. Each call site will have to be reevaluated in order to switch to more relaxed accesses where possible.
2017-03-04	kern/rtmutex: new module	Richard Braun
	The rtmutex provides real-time mutexes, i.e. mutexes for which priority inheritance is unconditionally enabled.