[Docs] Update Gramine Docker image usage

- Removed outdated information about the supported image distros - Updated Docker run command to include provisioning device Signed-off-by: Kailun Qin <[email protected]>
gramineproject · Jun 16, 2024 · 974f2c6 · 974f2c6
1 parent 26f2b7b
commit 974f2c6
Showing 1 changed file with 3 additions and 4 deletions.
diff --git a/Documentation/installation.rst b/Documentation/installation.rst
@@ -100,9 +100,8 @@ https://hub.docker.com/r/gramineproject/gramine.
 
 This Gramine image is a minimal distribution of Gramine: it contains only
 Gramine binaries and tools, as well as the pre-requisite packages to run
-applications under Gramine. The only currently available Gramine image is based
-on Ubuntu 20.04. The only requirement on the host system is a Linux kernel with
-in-kernel SGX driver (available from version 5.11 onward).
+applications under Gramine. The only requirement on the host system is a Linux
+kernel with in-kernel SGX driver (available from version 5.11 onward).
 
 This Gramine image can be used as a disposable playground environment, to
 quickly test Gramine with your applications and workloads. This image can also
@@ -111,7 +110,7 @@ for your SGX applications.
 
 To run the Gramine image via Docker, the recommended command is::
 
-    docker run --device /dev/sgx_enclave -it gramineproject/gramine
+    docker run --device /dev/sgx_enclave --device /dev/sgx_provision -it gramineproject/gramine
 
 If you want to run :program:`gramine-direct` in addition to
 :program:`gramine-sgx`, then you should run Docker with our custom seccomp