From be36dec89e97a1f7c4623929c78dd4d74afffe65 Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Wed, 16 May 2012 13:42:10 +0200
Subject: [PATCH] Add a run script for Arora

Fixes #207.
---
 ports/run/arora.run | 137 ++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 137 insertions(+)
 create mode 100644 ports/run/arora.run

diff --git a/ports/run/arora.run b/ports/run/arora.run
new file mode 100644
index 0000000000..f62615e4f9
--- /dev/null
+++ b/ports/run/arora.run
@@ -0,0 +1,137 @@
+#
+# Build
+#
+
+set build_components {
+	core init
+	drivers/timer drivers/framebuffer drivers/pci drivers/input drivers/nic
+	server/nitpicker
+	app/arora
+}
+
+build $build_components
+
+create_boot_directory
+
+#
+# Generate config
+#
+
+append config {
+<config>
+	<parent-provides>
+		<service name="ROM"/>
+		<service name="RAM"/>
+		<service name="IRQ"/>
+		<service name="IO_MEM"/>
+		<service name="IO_PORT"/>
+		<service name="CAP"/>
+		<service name="PD"/>
+		<service name="RM"/>
+		<service name="CPU"/>
+		<service name="LOG"/>
+		<service name="SIGNAL"/>
+	</parent-provides>
+	<default-route>
+		<any-service> <parent/> <any-child/> </any-service>
+	</default-route>}
+
+append_if [have_spec sdl] config {
+	<start name="fb_sdl">
+		<resource name="RAM" quantum="4M"/>
+		<provides>
+			<service name="Input"/>
+			<service name="Framebuffer"/>
+		</provides>
+	</start>}
+
+append_if [have_spec pci] config {
+	<start name="pci_drv">
+		<resource name="RAM" quantum="1M"/>
+		<provides><service name="PCI"/></provides>
+	</start>}
+
+append_if [have_spec vesa] config {
+	<start name="vesa_drv">
+		<resource name="RAM" quantum="1M"/>
+		<provides><service name="Framebuffer"/></provides>
+	</start>}
+
+append_if [have_spec pl11x] config {
+	<start name="pl11x_drv">
+		<resource name="RAM" quantum="1M"/>
+		<provides><service name="Framebuffer"/></provides>
+	</start>}
+
+append_if [have_spec ps2] config {
+	<start name="ps2_drv">
+		<resource name="RAM" quantum="1M"/>
+		<provides><service name="Input"/></provides>
+	</start> }
+
+append config {
+	<start name="timer">
+		<resource name="RAM" quantum="1M"/>
+		<provides><service name="Timer"/></provides>
+	</start>
+	<start name="nic_drv">
+		<resource name="RAM" quantum="2M"/>
+		<provides><service name="Nic"/></provides>
+	</start>
+	<start name="nitpicker">
+		<resource name="RAM" quantum="1M"/>
+		<provides><service name="Nitpicker"/></provides>
+	</start>
+	<start name="arora">
+		<resource name="RAM" quantum="2G"/>
+	</start>
+</config>}
+
+install_config $config
+
+#
+# Boot modules
+#
+
+# generic modules
+set boot_modules {
+	core init
+	timer nic_drv
+	nitpicker
+	arora
+	ld.lib.so
+	libc.lib.so libm.lib.so lwip.lib.so
+	zlib.lib.so libpng.lib.so jpeg.lib.so
+	dejavusans.lib.so
+	freetype.lib.so
+	libc_lock_pipe.lib.so
+	qt_core.lib.so
+	qt_gui.lib.so
+	qt_jscore.lib.so
+	qt_network.lib.so
+	qt_script.lib.so
+	qt_ui_tools.lib.so
+	qt_webcore.lib.so
+	qt_xml.lib.so
+	qnitpickerviewwidget.lib.so
+	qpluginwidget.lib.so
+}
+
+
+# platform-specific modules
+lappend_if [have_spec linux] boot_modules fb_sdl
+lappend_if [have_spec pci]   boot_modules pci_drv
+lappend_if [have_spec vesa]  boot_modules vesa_drv
+lappend_if [have_spec ps2]   boot_modules ps2_drv
+lappend_if [have_spec pl11x] boot_modules pl11x_drv
+
+build_boot_image $boot_modules
+
+append qemu_args " -m 256 "
+
+append_if [have_spec x86]     qemu_args " -net nic,model=pcnet "
+append_if [have_spec lan9118] qemu_args " -net nic,model=lan9118 "
+
+append qemu_args " -net user "
+
+run_genode_until forever