Martin Stein ccba43574f hw: fix bug in scheduler timing ... By now the scheduling timer was only refreshed for a new scheduling timeout when the choosen scheduling context has changed. But we want it to be refreshed also when the scheduled context yields without an effect to the schedulers choice (this is the case e.g. when the idle thread gets a scheduling timeout or a thread yields without any competitor in its priority band). ref #1151		2014-06-26 10:57:26 +02:00
..
doc	Move repositories to 'repos/' subdirectory	2014-05-14 16:08:00 +02:00
include	Move repositories to 'repos/' subdirectory	2014-05-14 16:08:00 +02:00
lib/mk	base: interface for D- and I-cache synchronization	2014-05-27 11:14:45 +02:00
mk	Move repositories to 'repos/' subdirectory	2014-05-14 16:08:00 +02:00
run	hw: map binaries of boot modules on demand	2014-06-06 14:54:31 +02:00
src	hw: fix bug in scheduler timing	2014-06-26 10:57:26 +02:00