TCX video driver for the Xorg X server.