Persistently enable software-controlled sgx in EFI - View it on GitHub