Merge branch 'main' into teepot_vault

This commit is contained in:
Harald Hoyer 2025-03-25 13:40:50 +01:00 committed by GitHub
commit 982fcc363b
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -15,10 +15,19 @@
User = "root";
EnvironmentFile = "-/run/env/env";
};
path = [ pkgs.docker pkgs.teepot.teepot.tdx_extend ];
path = [ pkgs.docker pkgs.teepot.teepot.tdx_extend pkgs.iproute2 ];
script = ''
set -eu -o pipefail
# wait for vector to initialize itself
for i in {1..30}; do
if [[ $(ss -H -t -l -n sport = 4318) ]]; then
break
fi
echo "Waiting for vector to initialize itself..." >&2
sleep 1
done
DIGEST=''${CONTAINER_DIGEST#sha256:}
echo "Measuring $DIGEST" >&2
test -c /dev/tdx_guest && tdx-extend --digest "$DIGEST" --rtmr 3