diff --git a/standalone-kernel/compile_kernel.sh b/standalone-kernel/compile_kernel.sh
index 35726184..23f81078 100755
--- 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