rbraun/x15.git - The X15 microkernel

Age	Commit message (Collapse)	Author
2017-08-31	Add debugging code to the mutex modules	Richard Braun

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-04-29	kern/rtmutex: fix unlock	Richard Braun
	Commit 42b089048fc0d3e67fa10cb411767afa161c7222 was apparently incomplete.
2017-04-09	kern/{mutex,rtmutex,spinlock}: optimize fast paths	Richard Braun
	Rework so that fast paths occupy the first indentation level, and use the unlikely macro on the relevant conditions.
2017-04-09	kern/{mutex,rtmutex}: normalize fast path names	Richard Braun

2017-03-04	Fix typos	Richard Braun

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.