Nobody III hungryninja101 at ...9...
Thu Nov 27 02:01:56 CET 2014

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?)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the users mailing list