Merge pull request #30 from mkroening/update-hermit

chore: update Hermit dependency
hermit-os · Mar 25, 2024 · 90e966e · 90e966e
2 parents 5c796bf + 389c50b
commit 90e966e
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 5 deletions.
diff --git a/examples/hermitrust/Cargo.toml b/examples/hermitrust/Cargo.toml
@@ -9,8 +9,5 @@ edition = "2018"
 rftrace = { version = "0.2.0", path="../../rftrace" }
 rftrace-frontend = { version = "0.1.0", path="../../rftrace-frontend" }
 
-
 [target.'cfg(target_os = "hermit")'.dependencies]
-#hermit-sys = {version="0.1.25", features=["instrument"]}
-hermit-sys = {git="https://github.com/tlambertz/rusty-hermit", branch="master", features=["instrument", "with_submodule"]}
-#hermit-sys = { path = "../../../rusty-hermit/hermit-sys", features = ["with_submodule", "instrument"] }
+hermit = { version = "0.7", git = "https://github.com/hermit-os/hermit-rs" }
diff --git a/examples/hermitrust/src/main.rs b/examples/hermitrust/src/main.rs
@@ -2,7 +2,7 @@ extern crate rftrace as _;
 use rftrace_frontend as rftrace;
 
 #[cfg(target_os = "hermit")]
-extern crate hermit_sys;
+extern crate hermit;
 
 use std::thread;
 use std::time::SystemTime;