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()