From fcde1d668cc314bcd96398c305a69dd0bd1ea698 Mon Sep 17 00:00:00 2001
From: Adrian-Ken Rueegsegger <ken@codelabs.ch>
Date: Fri, 18 Dec 2015 14:13:02 +0100
Subject: [PATCH] hw_x86_64_muen: Extend build.conf with image/muen params

Enable automatic build of Muen system image by adding the image/muen run
script to RUN_OPT. Also specify --image-muen parameters with explanatory
comments.

Note: The ISO image is not built by default anymore.
---
 tool/builddir/etc/build.conf.hw_x86_64_muen | 41 ++++++++++++++++++++-
 1 file changed, 40 insertions(+), 1 deletion(-)

diff --git a/tool/builddir/etc/build.conf.hw_x86_64_muen b/tool/builddir/etc/build.conf.hw_x86_64_muen
index 131d8a934..aecb0a42a 100644
--- a/tool/builddir/etc/build.conf.hw_x86_64_muen
+++ b/tool/builddir/etc/build.conf.hw_x86_64_muen
@@ -4,4 +4,43 @@ REPOSITORIES += $(GENODE_DIR)/repos/base-hw
 ## Kernel-specific run tool configuration
 ##
 
-RUN_OPT = --include boot_dir/hw --include image/iso
+RUN_OPT = --include boot_dir/hw --include image/muen
+
+#
+# Muen hardware platform
+#
+# Available platforms are located in the Muen project directory
+# 'policy/platform/'.
+RUN_OPT += --image-muen-hardware lenovo-t430s
+
+#
+# Directory, where the GNAT toolchain is installed
+#
+RUN_OPT += --image-muen-gnat-path /usr/gnat
+
+#
+# Directory, where the SPARK toolchain is installed
+#
+RUN_OPT += --image-muen-spark-path /opt/spark2014
+
+#
+# Muen system policy
+#
+# Available policies are located in the Muen project directory
+# 'policy/xml/'.
+RUN_OPT += --image-muen-system genode-base_hw
+
+#
+# Muen system components
+#
+# Available policies are located in the Muen project directory
+# 'components/'.
+RUN_OPT += --image-muen-components 'dbgserver sm tau0'
+
+#
+# External Muen build
+#
+# Specifies if the Muen kernel should be built automatically.
+# If the Muen system is built and integrated externally, i.e. outside
+# of the Genode build system, set this parameter to 1.
+RUN_OPT += --image-muen-external-build 0