mc-sgx-tstdc vs fortanix-sgx-abi vs pcs

Rust wrappers around SGX synchronization primitives

An interface for Intel SGX enclaves. This is the interface for the `x86_64-fortanix-unknown-sgx` target. This is a small yet functional interface suitable for writing larger enclaves. In contrast to other enclave interfaces, this interface is primarly designed for running entire applications in an enclave. This crate fully describes the type-level interface complete with documentation. For implementors, this crate contains all the type definitions and a macro with the function definitions.

Provisioning Certification Service (PCS) data structures. Data structures related to the Intel Provisioning Certification Service. DCAP attestation requires handling of DCAP artifacts (e.g., PCK certs, TCB info, ...). This crate provides an easy interface for these artifacts.