From ea09f16b0190e5d4dd0722e4fa18e3411ecca23d Mon Sep 17 00:00:00 2001
From: Axel Heider <axelheider@gmx.de>
Date: Tue, 9 Jan 2024 13:33:37 +0100
Subject: [PATCH] fix typo for RISC-V 32-bit

Signed-off-by: Axel Heider <axelheider@gmx.de>
---
 seL4-platforms/platforms.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/seL4-platforms/platforms.py b/seL4-platforms/platforms.py
index 8f8ca20e..fab1fa04 100644
--- a/seL4-platforms/platforms.py
+++ b/seL4-platforms/platforms.py
@@ -187,7 +187,7 @@ def getISA(self, mode: int) -> str:
             return {32: "IA32", 64: "x86_64"}[mode]
 
         if self.arch == "riscv":
-            return {32: "RC32IMAC", 64: "RV64IMAC"}[mode]
+            return {32: "RV32IMAC", 64: "RV64IMAC"}[mode]
 
         return self.march.capitalize()