From baa55dabc484ddeeb51f9735b55fbf6ddb242025 Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Sat, 10 Aug 2013 22:11:32 +0200
Subject: [PATCH] seoul: add kernelbuild run script

---
 ports/run/seoul-kernelbuild.run | 65 +++++++++++++++++++++++++++++++++
 1 file changed, 65 insertions(+)
 create mode 100644 ports/run/seoul-kernelbuild.run

diff --git a/ports/run/seoul-kernelbuild.run b/ports/run/seoul-kernelbuild.run
new file mode 100644
index 0000000000..86582b969e
--- /dev/null
+++ b/ports/run/seoul-kernelbuild.run
@@ -0,0 +1,65 @@
+#
+# \brief  Seoul/Vancouver on Genode - build Linux kernel inside VM
+# \author Alexander Boettcher
+# \date   2013-06-11
+#
+# This run script starts the Vancouver VMM booting from a multiboot image.
+# It assumes that the module files are present at '<build-dir>/bin/'
+#
+
+assert_spec nova
+
+if {[is_qemu_available]} {
+	puts "\nAuto test running on Qemu is not recommented.\n"
+	exit
+}
+
+set use_multiboot     1
+
+set use_block_ide     0
+set use_block_sata    0
+
+set use_nic_session   0
+set use_nic_bridge    0
+
+set use_usb           0
+
+set use_fancy_stuff   0
+
+set memory_vmm_vm     "950M"
+
+set multiboot_files {
+		<rom name="munich"/>
+		<rom name="bzImage-3.1" cmdline="root=/dev/ram0 earlyprintk=ttyS0 console=ttyS0 text"/>
+		<rom name="kernelbuild-e2fs.bz2"/>
+}
+
+set guest_os_binaries { munich bzImage-3.1 kernelbuild-e2fs.bz2 }
+set sha1_os_binaries  { 7ecb4ba634a0ecfa6429418ea73490d6f65afead 6b2ef2c5bf16db3ebcbe33ce134e4e0a96944f82 978b2a297c7ff8e53191321d300e70baa1036519 }
+
+#
+# Download demo kernel, image and
+# munich (part of Oslo framework http://os.inf.tu-dresden.de/~kauer/oslo)
+#
+set guest_uri { "http://genode.org/files/seoul" "http://genode.org/files/seoul" "http://os.inf.tu-dresden.de/~nils/imgs" }
+
+set binary_counter 0
+foreach binary $guest_os_binaries {
+	if {![file exists bin/$binary]} {
+		set uri [lindex $guest_uri $binary_counter]
+		exec mkdir -p bin
+		puts "Download file bin/$binary from $uri"
+		exec >& /dev/null wget -c -O bin/$binary $uri/$binary
+	}
+	incr binary_counter 1
+}
+
+source ${genode_dir}/ports/run/seoul.inc
+
+append qemu_args " -m 1536 "
+append qemu_args " -cpu phenom "
+append qemu_args " -nographic "
+
+run_genode_until {\[init -\> vancouver\] VMM: #   ! PERF: kbuild [ 0-9]+ s ok} 2000 
+
+puts "Test succeeded"