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" < [email protected]> 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 > [email protected] > https://lists.sourceforge.net/lists/listinfo/genode-main >
------------------------------------------------------------------------------
_______________________________________________ genode-main mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/genode-main
