From 98ac87caf40d624db8e4dbde1ad0d92d2a2d14be Mon Sep 17 00:00:00 2001 From: Adrian-Ken Rueegsegger Date: Thu, 19 Jan 2017 18:36:53 +0100 Subject: [PATCH] Fix Muen RUN_OPTs Re-add necessary library components for Muen system build which were dropped in commit (2530973...). --- tool/builddir/build.conf/run_opt_muen | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tool/builddir/build.conf/run_opt_muen b/tool/builddir/build.conf/run_opt_muen index cd73a4879..627e6f1c0 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