From cb8c3d12cddd36a298829927cb51c811eaa4e21b Mon Sep 17 00:00:00 2001
From: Gerwin Klein <gerwin.klein@proofcraft.systems>
Date: Sat, 12 Oct 2024 12:23:03 +1100
Subject: [PATCH] sel4test-hw: un-pin upstream image version

This reverts commit dfd143c1eb3dd5ac4c4445084aef0f82f2c9821e.

The failures mentioned in this commit have (hopefully) been resolved, and we
want to pick up the switch to clang-12.
---
 sel4test-hw/Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sel4test-hw/Dockerfile b/sel4test-hw/Dockerfile
index 2c47a281..42092bac 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:2024_07_11
+FROM trustworthysystems/sel4:latest
 
 RUN apt-get update \
     && apt-get install -y --no-install-recommends \