Update TDX Docker image name in osdk guide
This commit is contained in:
parent
6a33f7a6d0
commit
91171c38ec
|
|
@ -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
|
||||
|
|
|
|||
Loading…
Reference in New Issue