VirTEE

Open Community dedicated to building components for Virtualization-based TEEs