genode/repos/ports/run/noux_tool_chain_nova.run

#
# \brief  Noux environment for building the Genode/NOVA demo scenario on Genode
# \author Christian Prochaska
# \date   2012-11-26
#

set platform          "x86_32"
set platform_base_dir "base-nova"
set platform_pkgs     ""
set platform_cmds     ""

source ${genode_dir}/repos/ports/run/noux_tool_chain.inc

append qemu_args " -m 768 "

run_genode_until forever
Noux: run scripts for building Genode This patch adds two run scripts which create a Noux environment for building the Genode demo scenario for Fiasco.OC and NOVA. Fixes #520. 2012-11-26 19:15:05 +00:00			`#`
			`# \brief Noux environment for building the Genode/NOVA demo scenario on Genode`
			`# \author Christian Prochaska`
			`# \date 2012-11-26`
			`#`

run: remove vanished kernel/platform specifier 2017-01-03 12:17:41 +00:00			`set platform "x86_32"`
Noux: run scripts for building Genode This patch adds two run scripts which create a Noux environment for building the Genode demo scenario for Fiasco.OC and NOVA. Fixes #520. 2012-11-26 19:15:05 +00:00			`set platform_base_dir "base-nova"`
			`set platform_pkgs ""`
			`set platform_cmds ""`

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			`source ${genode_dir}/repos/ports/run/noux_tool_chain.inc`
run: extend noux to run automatically natively 2013-03-08 09:45:44 +00:00
			`append qemu_args " -m 768 "`

			`run_genode_until forever`