It turns out that industrial push buttons have standardized components ... Currently he has two applications: one provides a simple, one-button screen lock on a Linux box running a virtual machine ...