The Virtual Machine Shop

Allen wrench

A hexagonal wrench used for socket screws. "Allen" is a brand name. An Allen wrench is also called a hex socket wrench.