diff --git a/repos/base-hw/doc/x86_64_muen.txt b/repos/base-hw/doc/x86_64_muen.txt
index b7d00d550..3a2f8164d 100644
--- a/repos/base-hw/doc/x86_64_muen.txt
+++ b/repos/base-hw/doc/x86_64_muen.txt
@@ -124,7 +124,7 @@ As a first step acquire the Muen sources by execute the following commands:
 
 ! git clone http://git.codelabs.ch/git/muen.git
 ! cd muen
-! make SYSTEM=xml/genode-base_hw_simple.xml COMPONENTS="dbgserver sm tau0" emulate
+! make SYSTEM=xml/genode-base_hw_simple.xml COMPONENTS="dbgserver sm tau0 time" emulate
 
 This will build a Muen SK system and start it using the Bochs emulator. You
 should get the following error:
@@ -151,7 +151,7 @@ Change back to the Muen working directory to package the system image and
 restart emulation:
 
 ! cd <muen_workdir>
-! make SYSTEM=xml/genode-base_hw_simple.xml COMPONENTS="dbgserver sm tau0" emulate
+! make SYSTEM=xml/genode-base_hw_simple.xml COMPONENTS="dbgserver sm tau0 time" emulate
 
 The serial output of the system is written to the
 '<muen_workdir>/emulate/serial.out' file. You should see the following line:
diff --git a/repos/base-hw/ports/muen.hash b/repos/base-hw/ports/muen.hash
index 6de5ca9bb..2a477b39e 100644
--- a/repos/base-hw/ports/muen.hash
+++ b/repos/base-hw/ports/muen.hash
@@ -1 +1 @@
-2ddaef27345d1e73733c02ad824b69069bf116ce
+b44d41d8d6fc57f5529a8948612dcd29f3031193
diff --git a/repos/base-hw/ports/muen.port b/repos/base-hw/ports/muen.port
index e4af2f90a..835af6a93 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) := http://git.codelabs.ch/git/muen.git
-REV(muen) := 59171a3aabba95cd6d957a4b999e802e5622835b
+REV(muen) := c73734dcab0f273756beb6b91977b89b7feb4fbb
 DIR(muen) := src/kernel/muen
 
 $(call check_tool,git)
diff --git a/tool/builddir/etc/build.conf.hw_x86_64_muen b/tool/builddir/etc/build.conf.hw_x86_64_muen
index 6a576e253..b6ef598fa 100644
--- a/tool/builddir/etc/build.conf.hw_x86_64_muen
+++ b/tool/builddir/etc/build.conf.hw_x86_64_muen
@@ -34,7 +34,7 @@ RUN_OPT += --image-muen-system xml/genode-base_hw.xml
 # Muen system components
 #
 # Available components are located in the Muen project directory 'components/'.
-RUN_OPT += --image-muen-components 'dbgserver sm tau0'
+RUN_OPT += --image-muen-components 'dbgserver sm tau0 time'
 
 #
 # External Muen build