ANDIX OS

ANDIX OS is an ARM TrustZone based security kernel that allows creation of applications that at least in part run in a trusted execution environment.

Go to official site