Update Muen port to revision c73734d

Issue #2016
2016-06-06 15:53:02 +02:00
parent 4c5694184c
commit f241b6e496
4 changed files with 5 additions and 5 deletions
--- 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