diff --git a/tool/builddir/build.conf/run_opt_muen b/tool/builddir/build.conf/run_opt_muen
index 627e6f1c0..47f6d18ed 100644
--- a/tool/builddir/build.conf/run_opt_muen
+++ b/tool/builddir/build.conf/run_opt_muen
@@ -36,7 +36,7 @@ RUN_OPT += --image-muen-system xml/genode-base_hw.xml
 #
 # Available components are located in the Muen project directory 'components/'.
 #
-RUN_OPT += --image-muen-components 'libdebuglog libmutime dbgserver sm tau0 time'
+RUN_OPT += --image-muen-components 'libdebuglog libmutime dbgserver sm time'
 
 #
 # External Muen build