genode/repos/base-hw/src
Martin Stein e4f560f39b hw: change round-robin scheduling slice to 10 ms
Previously, it was set to 100 ms which caused a remarkable disadvantage
in reactivity.

Ref #1464
2015-04-23 16:51:33 +02:00
..
base base: make irq_session asynchronous 2015-04-23 16:47:58 +02:00
core hw: change round-robin scheduling slice to 10 ms 2015-04-23 16:51:33 +02:00
test thread API & CPU session: accounting of CPU quota 2014-11-28 12:02:37 +01:00