27 Nov
2014
27 Nov
'14
1:01 a.m.
How exactly do priorities work in Genode (e.g. do higher-priority tasks get access to the CPU at the expense of lower-priority tasks whenever they want, or is it more like the Linux scheduler's niceness?)