Equalis State Machines for Linux