diff --git a/tool/builddir/build.conf/run_opt_muen b/tool/builddir/build.conf/run_opt_muen
index cd73a48797..627e6f1c07 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 'dbgserver sm tau0 time'
+RUN_OPT += --image-muen-components 'libdebuglog libmutime dbgserver sm tau0 time'
 
 #
 # External Muen build