Hi Dave, On 4/28/2022 2:29 PM, Dave Hansen wrote: > On 4/28/22 13:11, Reinette Chatre wrote: >> ELDU returned 1073741837 (0x4000000d) > > BTW, what does that decode to exactly? ENCLS instructions can fault as well as return SGX error codes. 0x40000000 (SGX_ENCLS_FAULT_FLAG) indicates that this is an ENCLS fault (as opposed to an error returned by the ENCLS instruction) with 0xd (#GP) identifying the fault. Reinette
