diff --git a/sel4test-hw/Dockerfile b/sel4test-hw/Dockerfile index 42092bac..2c47a281 100644 --- a/sel4test-hw/Dockerfile +++ b/sel4test-hw/Dockerfile @@ -8,7 +8,7 @@ ARG WORKSPACE=/workspace ARG SCRIPTS=/ci-scripts ARG ACTION=sel4test-hw -FROM trustworthysystems/sel4:latest +FROM trustworthysystems/sel4:2024_07_11 RUN apt-get update \ && apt-get install -y --no-install-recommends \