diff --git a/hermit/Cargo.toml b/hermit/Cargo.toml
index 09b062ca8..171294e23 100644
--- a/hermit/Cargo.toml
+++ b/hermit/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "hermit"
-version = "0.8.2"
+version = "0.9.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
index f0db8d543..ca4bc6092 100644
--- a/hermit/build.rs
+++ b/hermit/build.rs
@@ -32,7 +32,7 @@ impl KernelSrc {
 	}
 
 	fn download() -> Self {
-		let version = "0.6.9";
+		let version = "0.7.0";
 		let out_dir = out_dir();
 		let src_dir = out_dir.join(format!("kernel-{version}"));
 
diff --git a/kernel b/kernel
index a30890643..4ce743944 160000
--- a/kernel
+++ b/kernel
@@ -1 +1 @@
-Subproject commit a30890643fea550b45ba017060563f45269e9117
+Subproject commit 4ce7439440eb19a13a88f65d61ef23debecac6f5