diff --git a/docs/src/osdk/guide/intel-tdx.md b/docs/src/osdk/guide/intel-tdx.md index bb387d15..05b0c7da 100644 --- a/docs/src/osdk/guide/intel-tdx.md +++ b/docs/src/osdk/guide/intel-tdx.md @@ -32,7 +32,7 @@ Therefore, it is recommended to use a Docker image to deploy the environment. Run a TDX Docker container: ```bash -docker run -it --privileged --network=host --device=/dev/kvm asterinas/osdk-tdx:0.4.2 +docker run -it --privileged --network=host --device=/dev/kvm asterinas/osdk:0.9.4-tdx ``` ## Edit `OSDK.toml` for Intel TDX support