genode/tool/builddir/etc/build.conf.okl4_x86

REPOSITORIES  = $(GENODE_DIR)/repos/base-okl4

##
## Kernel-specific run tool configuration
##

RUN_OPT = --include boot_dir/okl4 \
          --include power_on/qemu --include log/qemu --include image/iso
Move repositories to 'repos/' subdirectory This patch changes the top-level directory layout as a preparatory step for improving the tools for managing 3rd-party source codes. The rationale is described in the issue referenced below. Issue #1082 2014-05-07 09:48:19 +00:00			`REPOSITORIES = $(GENODE_DIR)/repos/base-okl4`
create_builddir: add default RUN_OPT configuration 2015-01-19 21:12:00 +00:00
			`##`
			`## Kernel-specific run tool configuration`
			`##`

			`RUN_OPT = --include boot_dir/okl4 \`
			`--include power_on/qemu --include log/qemu --include image/iso`