On 2/13/21 5:29 AM, Kai Huang wrote: > Modify sgx_init() to always try to initialize the virtual EPC driver, > even if the SGX driver is disabled. The SGX driver might be disabled > if SGX Launch Control is in locked mode, or not supported in the > hardware at all. This allows (non-Linux) guests that support non-LC > configurations to use SGX. > > Signed-off-by: Kai Huang <kai.huang@xxxxxxxxx> ... > + ret = !!sgx_drv_init() & !!sgx_vepc_init(); That little nugget is starting to grow on me. Acked-by: Dave Hansen <dave.hansen@xxxxxxxxx>