root/bsp/drv/dev/input/

[..]
  1. Makefile.inc
  2. i8042.h
  3. pckbd.c
  4. psaux.c
[..]