I don't know if it helps at all, but PS/2 Mouse seems to work on my A4000TX rev 1.1 (built by hese). I set the kbd/mouse jumpers to PC position, and both the PC PS/2 keyboard and PC PS/2 mouse works OK. Then again i've only had the A4000TX for a couple of days now, so not much use yet, but I...