Merge pull request #509 from mkroening/release-0.7.1

chore: release hermit-rs 0.7.1
hermit-os · Nov 30, 2023 · 615e8d6 · 615e8d6
2 parents cc35a3e + 5a27c97
commit 615e8d6
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.7.0"
+version = "0.7.1"
 authors = [
     "Stefan Lankes <slankes@eonerc.rwth-aachen.de>",
     "Martin Kröning <mkroening@posteo.net>",

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

diff --git a/kernel b/kernel