First trouble with core

[Norman Feske]

Hi Marc,

the patch attached to this email is a quick hack to make priorities
configurable for the Fiasco version of Genode - just for enabling
you to adjust priorities. By default, all processes are running
on priority 0x10. With the patch, you can now override the default
for each entry in your config file by specifying a <priority> tag.
For example:

  <start>
    <filename>timer</filename>
    <ram_quota>1M</ram_quota>
    <priority>0x20</priority>
  </start>

Could you try executing the timer server / ps2 driver / nitpicker
on higher priorities?

-- 
Norman Feske
Genode Labs

http://www.genode-labs.com · http://genode.org
-------------- next part --------------
A non-text attachment was scrubbed...
Name: priority.patch
Type: text/x-diff
Size: 8069 bytes
Desc: not available
URL: <http://lists.genode.org/pipermail/users/attachments/20080814/09e0fb89/attachment.patch>