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