[Glen]’s project sounds perfectly straightforward: have a big industrial-style push button act as a one-key USB keyboard ... a Linux box running a virtual machine at his place of work.