Artifact for OSDI 22 Paper: Design and Verification of the Arm Confidential Compute Architecture - View it on GitHub