First trouble with core

[Marc CHALAND]

2008/8/18 Norman Feske <norman.feske at ...1...>:
> Hence, boosting the
> priority of IRQ threads is certainly a good idea. The attached
> patch assigns the priority 0xc0 to these threads. Could you give
> it a try?

Perfect :). In fact, this patch is enough to get rid of mad mouse. No
need to change ps2_drv priority or timer for my test bed.
Demo looks fine and genode concepts very interesting :).

Regards
Marc