[Bug 1245351] Review Request: ps2emu-tools - PS/2 recording/playback tools for userio