Hi, We run on Ubuntu 16. And our SGX can run on hardware mode. However, there is no sgx_enclave & sgx_provision (only sgxsdk, sgxpsw, etc.). May I know which directory should I fill for the 2 --device parameters when I initialize the docker? i.e., $ docker run -t --name my-edb -p3306:3306 -p8080:8080 --device /dev/sgx_enclave --device /dev/sgx_provision ghcr.io/edgelesssys/edgelessdb-sgx-1gb $ docker: Error response from daemon: error gathering device information while adding custom device "/dev/sgx_enclave": no such file or directory. Thank you very much.
Hi,
We run on Ubuntu 16. And our SGX can run on hardware mode.
However, there is no sgx_enclave & sgx_provision (only sgxsdk, sgxpsw, etc.).
May I know which directory should I fill for the 2 --device parameters when I initialize the docker?
i.e.,
$ docker run -t --name my-edb -p3306:3306 -p8080:8080 --device /dev/sgx_enclave --device /dev/sgx_provision ghcr.io/edgelesssys/edgelessdb-sgx-1gb
$ docker: Error response from daemon: error gathering device information while adding custom device "/dev/sgx_enclave": no such file or directory.
Thank you very much.