diff --git a/seL4-platforms/platforms.yml b/seL4-platforms/platforms.yml
index 2d5ec557..5d8a8121 100644
--- 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