Corrected check for in-kernel driver.

Signed-off-by: Scott Raynor <[email protected]>
gramineproject · Jun 7, 2021 · 8e6416b · 8e6416b
1 parent 293ed20
commit 8e6416b
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Pal/src/host/Linux-SGX/tools/is-sgx-available/is_sgx_available.cpp b/Pal/src/host/Linux-SGX/tools/is-sgx-available/is_sgx_available.cpp
@@ -165,8 +165,8 @@ class SgxCpuChecker {
 };
 
 bool sgx_driver_loaded() {
-    // /dev/isgx is for LKM version, /dev/sgx is for in-kernel support.
-    return file_exists("/dev/isgx") || file_exists("/dev/sgx");
+    // /dev/isgx is for LKM version, /dev/sgx_enclave and /dev/sgx_provision are for in-kernel support.
+    return file_exists("/dev/isgx") || (file_exists("/dev/sgx_enclave") && file_exists("/dev/sgx_provision"));
 }
 
 bool psw_installed() {