hermit/Cargo.toml

 [package]
 name = "hermit"
-version = "0.9.1"
+version = "0.10.0"
 authors = [
     "Stefan Lankes <slankes@eonerc.rwth-aachen.de>",
     "Martin Kröning <mkroening@posteo.net>",

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}"));
 

kernel @ 791b9328

-Subproject commit 12d4854554f8ec48fa66a8d282ebcf46b7bf9499
+Subproject commit 791b9328b3a6b93944692c6dfa3e2f42c59672cb