support LLVM for RISCV64

Signed-off-by: Axel Heider <[email protected]>
seL4 · Jan 8, 2024 · 702d24c · 702d24c
1 parent 84b150a
commit 702d24c
Showing 1 changed file with 11 additions and 1 deletion.
diff --git a/standalone-kernel/compile_kernel.sh b/standalone-kernel/compile_kernel.sh
@@ -40,7 +40,17 @@ case $INPUT_ARCH in
         esac
         ;;
     RISCV64)
-        extra_config="${extra_config} -DRISCV64=TRUE"
+        case $INPUT_COMPILER in
+            gcc)
+                extra_config="${extra_config} -DRISCV64=TRUE"
+                ;;
+            llvm)
+                extra_config="${extra_config} -DTRIPLE=riscv64-unknown-elf"
+                ;;
+            *)
+                echo "Unknown input compiler"
+                exit 1
+        esac
         ;;
     X64)
         # no config needed