I have heard that transputer-based processors are used in TV set-top boxes in the UK. Is there a reference to this information? Thanks, Gerald.