From c1ad31748c31489cc2bcc5153eb2e3658a97da56 Mon Sep 17 00:00:00 2001 From: Gerwin Klein Date: Tue, 13 Aug 2024 10:07:48 +0200 Subject: [PATCH] platforms: enable zynqmp 32-bit tests Signed-off-by: Gerwin Klein --- seL4-platforms/platforms.yml | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/seL4-platforms/platforms.yml b/seL4-platforms/platforms.yml index 8d87c03e..19b179fb 100644 --- a/seL4-platforms/platforms.yml +++ b/seL4-platforms/platforms.yml @@ -235,9 +235,9 @@ platforms: ZYNQMP: arch: arm - modes: [64] + modes: [32, 64] smp: [64] - aarch_hyp: [64] + aarch_hyp: [32, 64] platform: zynqmp req: [zcu102_2] march: armv8a @@ -248,9 +248,9 @@ platforms: ZYNQMP106: arch: arm - modes: [64] + modes: [32, 64] smp: [64] - aarch_hyp: [64] + aarch_hyp: [32, 64] platform: zynqmp req: [zcu106] march: armv8a