pub const SGX_CONFIGID_SIZE: u32 = 64;