diff --git a/repos/base-hw/ports/muen.hash b/repos/base-hw/ports/muen.hash
index 1bcf2fc22..fb83ab586 100644
--- a/repos/base-hw/ports/muen.hash
+++ b/repos/base-hw/ports/muen.hash
@@ -1 +1 @@
-f9019aafe61c13c23a320856f684bd13a028697e
+f1615ee45298f31e598e4544bdf7bdda782da394
diff --git a/repos/base-hw/ports/muen.port b/repos/base-hw/ports/muen.port
index 901f01e13..bb0edc82f 100644
--- a/repos/base-hw/ports/muen.port
+++ b/repos/base-hw/ports/muen.port
@@ -3,7 +3,7 @@ VERSION   := git
 DOWNLOADS := muen.git
 
 URL(muen) := https://git.codelabs.ch/git/muen.git
-REV(muen) := 41263af9482b85799537d4cad3d79427f153d7d3
+REV(muen) := 73087542833cb3a9fbb13cd079e815ba4b77918f
 DIR(muen) := src/kernel/muen
 
 $(call check_tool,git)