René Kijewski c0c2d8660f core: missing restoreIRQ in mutex_unlock
`mutex_unlock()` did not restore IRQsbefore yielding for the woken up
thread.
2015-08-21 09:16:54 +02:00
..
2015-05-26 21:24:10 +02:00
2014-08-23 16:16:26 +02:00
2015-06-12 16:02:40 -07:00