The tek410x terminal driver supports the 410x and 420x family of Tektronix terminals. It has no options.