Type Definition sgx_types::sgx_config_id_t

type sgx_config_id_t = [uint8_t; 64];