ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-03-10 14:34:38 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

tool: Adjust Muen RUN_OPTs

Browse Source 
The Muen component build has been reworked and so Tau0 does no longer
need to be specified.
This commit is contained in:
Adrian-Ken Rueegsegger 2017-03-30 15:41:04 +02:00 committed by Christian Helmuth
parent 1e090f1f6b
commit 36acacea7e
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tool/builddir/build.conf/run_opt_muen
View File

@ -36,7 +36,7 @@ RUN_OPT += --image-muen-system xml/genode-base_hw.xml
# #
# Available components are located in the Muen project directory 'components/'. # 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 # External Muen build