Thank you. I will look at that. I was thinking of writing such a server myself. On Nov 5, 2014 11:40 AM, "Christian Prochaska" < christian.prochaska@...1...> wrote:
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@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main