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: <http://lists.genode.org/pipermail/users/attachments/20141127/f5daae9f/attachment.html>