From faee54c86c4cf259cd5ae055bdd15d2e3f3940e6 Mon Sep 17 00:00:00 2001
From: Ivan-Velickovic <i.velickovic@unsw.edu.au>
Date: Tue, 11 Mar 2025 10:54:34 +1100
Subject: [PATCH] platforms.yml: fix march for Cheshire and Ariane

Signed-off-by: Ivan-Velickovic <i.velickovic@unsw.edu.au>
---
 seL4-platforms/platforms.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/seL4-platforms/platforms.yml b/seL4-platforms/platforms.yml
index 85dd72a8..398070f9 100644
--- a/seL4-platforms/platforms.yml
+++ b/seL4-platforms/platforms.yml
@@ -27,14 +27,14 @@ platforms:
     arch: riscv
     modes: [64]
     platform: ariane
-    march: rv64imafdc
+    march: rv64imac
     no_hw_test: true
 
   CHESHIRE:
     arch: riscv
     modes: [64]
     platform: cheshire
-    march: rv64imafdc
+    march: rv64imac
     no_hw_test: true
 
   SPIKE32: