From 36acacea7e65c87825ac0d62c69bb68b346dc6c0 Mon Sep 17 00:00:00 2001 From: Adrian-Ken Rueegsegger Date: Thu, 30 Mar 2017 15:41:04 +0200 Subject: [PATCH] tool: Adjust Muen RUN_OPTs The Muen component build has been reworked and so Tau0 does no longer need to be specified. --- 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 627e6f1c07..47f6d18ed8 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