To build an OSDK development Docker image and test it on your local machine, navigate to the root directory of the Asterinas source code tree and execute the following command:

cd <asterinas dir>
# Build Docker image
docker buildx build \
    -f osdk/tools/docker/Dockerfile \
    --build-arg ASTER_RUST_VERSION=$(grep "channel" rust-toolchain.toml | awk -F '"' '{print $2}') \
    -t asterinas/osdk:$(cat DOCKER_IMAGE_VERSION) \
    .

Intel TDX has some special requirements on the development environment such as QEMU. So we offer a TDX-specific version of the OSDK development Docker image. You need to build the general-purpose Docker image before building the TDX-specific one as the former is used by the latter one as the base image.

cd <asterinas dir>
# Build Intel TDX Docker image
docker buildx build \
    -f osdk/tools/docker/tdx/Dockerfile \
    --build-arg ASTER_RUST_VERSION=$(grep "channel" rust-toolchain.toml | awk -F '"' '{print $2}') \
    --build-arg BASE_VERSION=$(cat DOCKER_IMAGE_VERSION) \
    -t asterinas/osdk:$(cat DOCKER_IMAGE_VERSION)-tdx \
    .

Tagging and Uploading Docker Images

The Docker images are tagged according to the version specified in the DOCKER_IMAGE_VERSION file at the project root. Check out the version bump documentation on how new versions of the Docker images are released.