18 Aug
2008
18 Aug
'08
3:22 p.m.
2008/8/18 Norman Feske <norman.feske@...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