fortanix-sgx-tools vs fortanix-sgx-abi vs pcs

Tools for building and running enclaves for the Fortanix SGX ABI. This contains `ftxsgx-runner` to run generic `x86_64-fortanix-unknown-sgx` enclaves, as well as `ftxsgx-elf2sgxs`, which is used in the build process for the `x86_64-fortanix-unknown-sgx` target.

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.