support RISCV32 and IA32

Signed-off-by: Axel Heider <[email protected]>
seL4 · Jan 9, 2024 · c92fde6 · c92fde6
1 parent 8428265
commit c92fde6
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/standalone-kernel/compile_kernel.sh b/standalone-kernel/compile_kernel.sh
@@ -21,11 +21,16 @@ case "${INPUT_ARCH}" in
         gcc_cfg="AARCH64"
         llvm_triple="aarch64-linux-gnu"
         ;;
+    RISCV32)
+        gcc_cfg="RISCV32"
+        # the 64-bit toolchain can build for 32-bit also.
+        llvm_triple="riscv64-unknown-elf"
+        ;;
     RISCV64)
         gcc_cfg="RISCV64"
         llvm_triple="riscv64-unknown-elf"
         ;;
-    X64)
+    IA32|X64)
         # just use the standard host compiler
         ;;
     *)