Remove riscv dependency

scroll-tech · Dec 14, 2024 · 5591e56 · 5591e56
1 parent cb8543d
commit 5591e56
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 97 deletions.
diff --git a/guest/Cargo.lock b/guest/Cargo.lock
diff --git a/guest/ceno_rt/Cargo.toml b/guest/ceno_rt/Cargo.toml
@@ -8,6 +8,3 @@ name = "ceno_rt"
 readme = "README.md"
 repository.workspace = true
 version.workspace = true
-
-[dependencies]
-riscv = "0.12"
diff --git a/guest/ceno_rt/src/lib.rs b/guest/ceno_rt/src/lib.rs
@@ -27,16 +27,12 @@ mod panic_handler {
 pub fn halt(exit_code: u32) -> ! {
     unsafe {
         asm!(
-            // Set the first argument.
-            "mv a0, {}",
-            // Set the ecall code HALT.
-            "li t0, 0x0",
-            in(reg) exit_code,
+            "ecall",
+            in ("a0") exit_code,
+            in ("t0") 0,
         );
-        riscv::asm::ecall();
     }
-    #[allow(clippy::empty_loop)]
-    loop {}
+    unreachable!();
 }
 
 global_asm!(