ov-secure-kernel Open Virtualization is a secure kernel that leverage's ARM's TrustZone architecture extensions - aka TEE (Trusted Execution Environment).