Thank you. I will look at that. I was thinking of writing such a server myself.
Hi Ben,
On 11/04/2014 05:38 PM, Nobody III wrote:
> As a side question, is there an easy way to combine input from a PS/2
> keyboard and a USB mouse or should I write a server for that?
please have a look at the 'input_merger' server in the 'os' repository.
The README file describes how it can be configured.
Christian
------------------------------------------------------------------------------
_______________________________________________
genode-main mailing list
genode-main@...12...ceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main