2015-05-06 15:27 GMT+02:00 Brandon Allbery <allbery.b@gmail.com>:

You'll need to use the XInput extension (x11-xinput package), as X11 core only understands a single keyboard so by default all system keyboards are treated identically and their events mixed into a single event stream.

Many thanks, Brandon; looking into that now.