Re: First trouble with core

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?