From 01df75880c9be03fe935c3faabd191082d8916a2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Kr=C3=B6ning?=
 <martin.kroening@eonerc.rwth-aachen.de>
Date: Tue, 19 Dec 2023 12:07:22 +0100
Subject: [PATCH] chore: update kernel to 0.6.7
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Signed-off-by: Martin Kröning <martin.kroening@eonerc.rwth-aachen.de>
---
 hermit/build.rs | 2 +-
 kernel          | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/hermit/build.rs b/hermit/build.rs
index 36614cc3c..21d587159 100644
--- 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/kernel b/kernel
index 781c1936a..244d5b379 160000
--- a/kernel
+++ b/kernel
@@ -1 +1 @@
-Subproject commit 781c1936abd3b8f1c13d061b9a12ca6fe6269111
+Subproject commit 244d5b379b240684bdd67d7cbb2dc4fc39ee6c14