Merge pull request #514 from mkroening/release-0.8.0

chore(hermit): release version 0.8.0
hermit-os · Dec 19, 2023 · 031e962 · 031e962
2 parents e11dbee + ae00b4a
commit 031e962
Show file tree

Hide file tree

Showing 4 changed files with 3 additions and 10 deletions.
diff --git a/hermit/Cargo.toml b/hermit/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "hermit"
-version = "0.7.2"
+version = "0.8.0"
 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.6";
+		let version = "0.6.7";
 		let out_dir = out_dir();
 		let src_dir = out_dir.join(format!("kernel-{version}"));
 

diff --git a/hermit/src/lib.rs b/hermit/src/lib.rs
@@ -1,8 +1 @@
 #![doc = include_str!("../README.md")]
-
-// FIXME: Remove once removed from std:
-// https://github.com/rust-lang/rust/pull/115309
-#[no_mangle]
-extern "C" fn sys_network_init() -> i32 {
-	0
-}
diff --git a/kernel b/kernel