platforms: switch to different odroidxu4 board

The odroidxu4_1 seems to have too many flaky tests. Check if this changes with a different board. Signed-off-by: Gerwin Klein <[email protected]>
axel-h · Jan 31, 2024 · 08f4dc6 · 08f4dc6
1 parent 4cbec8f
commit 08f4dc6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/seL4-platforms/platforms.yml b/seL4-platforms/platforms.yml
@@ -204,7 +204,7 @@ platforms:
     modes: [32]
     aarch_hyp: [32]
     platform: exynos5422
-    req: [odroidxu4_1]
+    req: [odroidxu4_2]
     image_platform: exynos5
     march: armv7a