diff --git a/repos/base-hw/ports/muen.hash b/repos/base-hw/ports/muen.hash
index 5772385f79..bb5110a52c 100644
--- a/repos/base-hw/ports/muen.hash
+++ b/repos/base-hw/ports/muen.hash
@@ -1 +1 @@
-fc3e49f0c47e850625e09a021f31291b845a6728
+ed4aaf70cae8251180a99f2f0dd56322aa73b2a6
diff --git a/repos/base-hw/ports/muen.patch b/repos/base-hw/ports/muen.patch
new file mode 100644
index 0000000000..bd6a068d33
--- /dev/null
+++ b/repos/base-hw/ports/muen.patch
@@ -0,0 +1,10 @@
++++ src/kernel/muen/policy/xml/genode-base_hw.xml
+@@ -102,7 +102,7 @@
+ 				</vmx>
+ 				<registers>
+ 					<gpr>
+-						<rip>16#0020_000c#</rip>
++						<rip>16#0020_0028#</rip>
+ 						<rsp>16#0000#</rsp>
+ 					</gpr>
+ 				</registers>
diff --git a/repos/base-hw/ports/muen.port b/repos/base-hw/ports/muen.port
index f957c06d25..23ee8eb8fb 100644
--- a/repos/base-hw/ports/muen.port
+++ b/repos/base-hw/ports/muen.port
@@ -6,6 +6,8 @@ URL(muen) := https://git.codelabs.ch/git/muen.git
 REV(muen) := 4ffd2c94b1b7de268c0a428855be2e7e8b8f288e
 DIR(muen) := src/kernel/muen
 
+PATCHES := ports/muen.patch
+
 $(call check_tool,git)
 $(call check_tool,iasl)
 $(call check_tool,tidy)