support LLVM for RISCV64

Signed-off-by: Axel Heider <[email protected]>
seL4 · Jan 4, 2024 · 69e872d · 69e872d
1 parent b8d9dd1
commit 69e872d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/standalone-kernel/compile_kernel.sh b/standalone-kernel/compile_kernel.sh
@@ -23,7 +23,7 @@ case "${INPUT_ARCH}" in
         ;;
     RISCV64)
         gcc_cfg="RISCV64"
-        # LLVM is unsupported so far
+        llvm_triple="riscv64-unknown-elf"
         ;;
     X64)
         # just use the standard host compiler