Rename PORT_KBD_* to PORT_PS2_*
-rw-r--r-- 35147 COPYING
-rw-r--r-- 2635 Makefile
-rw-r--r-- 2917 README
-rw-r--r-- 819 TODO
drwxr-xr-x - src
drwxr-xr-x - tools