From 91171c38ecfb41d97bbd09ffbf42ed54db5d7edf Mon Sep 17 00:00:00 2001
From: Hsy-Intel <siyuan.hui@intel.com>
Date: Thu, 24 Oct 2024 10:01:01 -0400
Subject: [PATCH] Update TDX Docker image name in osdk guide

---
 docs/src/osdk/guide/intel-tdx.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/src/osdk/guide/intel-tdx.md b/docs/src/osdk/guide/intel-tdx.md
index bb387d159..05b0c7da5 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