AiRTight - SCE for Linux

The Single-Core Equivalence (SCE) framework has been implemented under Linux. You can browse our sources here.