• ...for Intel SGX?
• ...for Arm TrustZone?
• ...for hypervisor-based containerization with seL4?