Merge pull request #659 from hermit-os/release

chore: release hermit 0.10.0
hermit-os · Jan 18, 2025 · 57136dc · 57136dc
2 parents dff2e9b + f120b32
commit 57136dc
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/hermit/Cargo.toml b/hermit/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "hermit"
-version = "0.9.1"
+version = "0.10.0"
 authors = [
     "Stefan Lankes <[email protected]>",
     "Martin Kröning <[email protected]>",

diff --git a/hermit/build.rs b/hermit/build.rs
@@ -44,7 +44,7 @@ impl KernelSrc {
 	}
 
 	fn download() -> Self {
-		let version = "0.8.0";
+		let version = "0.10.0";
 		let out_dir = out_dir();
 		let src_dir = out_dir.join(format!("kernel-{version}"));
 

diff --git a/kernel b/kernel