The text a342cf17cc12, as Debian 8 (Jessie) shipped it.
the AT keyboard controller interface
atkbdc(4freebsd) on Linux now
