From 376f086ec1bef7fbdbf709ad3d6a47673f32b7a4 Mon Sep 17 00:00:00 2001
From: Emery Hemingway <ehmry@posteo.net>
Date: Mon, 26 Nov 2018 20:19:30 +0100
Subject: [PATCH] Split off graphical Mirage run into mirage_pretty

Ref #2945
---
 repos/gems/run/mirage_pretty.run | 164 +++++++++++++++++++++++++++++++
 1 file changed, 164 insertions(+)
 create mode 100644 repos/gems/run/mirage_pretty.run

diff --git a/repos/gems/run/mirage_pretty.run b/repos/gems/run/mirage_pretty.run
new file mode 100644
index 000000000..a3dd841bc
--- /dev/null
+++ b/repos/gems/run/mirage_pretty.run
@@ -0,0 +1,164 @@
+if {![have_spec x86_64]} {
+	puts "\nSolo5 requires a 64bit architecture\n"
+	exit 0
+}
+
+if {![file exists bin/mirage]} {
+	puts ""
+	puts "A mirage image must be provided at 'bin/mirage' to execute this scenario."
+	puts ""
+	exit 1
+}
+
+if {[have_spec linux]} {
+	puts ""
+	puts "This scenario is not available for Linux."
+	puts ""
+	exit 1
+}
+
+create_boot_directory
+
+import_from_depot \
+	genodelabs/src/[base_src] \
+	genodelabs/src/init \
+	genodelabs/src/rtc_drv \
+	genodelabs/pkg/terminal \
+
+source ${genode_dir}/repos/base/run/platform_drv.inc
+
+set build_components {
+	app/log_core
+	drivers/framebuffer
+	drivers/input/dummy
+	drivers/nic
+	drivers/rtc
+	lib/solo5
+	server/terminal_log
+}
+
+append_platform_drv_build_components
+
+lappend_if [expr {[nic_drv_binary] == "nic_drv"}] build_components drivers/nic
+lappend_if [expr {[nic_drv_binary] == "usb_drv"}] build_components drivers/usb
+
+proc gpio_drv { } { if {[have_spec rpi] && [have_spec hw]}  { return hw_gpio_drv }
+                    if {[have_spec rpi] && [have_spec foc]} { return foc_gpio_drv }
+                    return gpio_drv }
+
+lappend_if [have_spec gpio] build_components drivers/gpio
+
+build $build_components
+
+set fb_drv "fb_drv"
+
+if {[have_include "image/uefi"]} {
+	set fb_drv "fb_boot_drv"
+}
+
+append config {
+<config>
+	<default caps="256"/>
+	<parent-provides>
+		<service name="CPU"/>
+		<service name="IO_MEM"/>
+		<service name="IO_PORT"/>
+		<service name="IRQ"/>
+		<service name="LOG"/>
+		<service name="PD"/>
+		<service name="RAM"/>
+		<service name="RM"/>
+		<service name="ROM"/>
+	</parent-provides>
+	<default-route>
+		<any-service> <parent/> <any-child/> </any-service> </default-route>}
+
+append_platform_drv_config
+
+append_if [have_spec gpio] config "
+	<start name=\"[gpio_drv]\" caps=\"140\">
+		<resource name=\"RAM\" quantum=\"4M\"/>
+		<provides><service name=\"Gpio\"/></provides>
+		<config/>
+	</start>"
+
+append config {
+	<start name="timer" caps="96">
+		<resource name="RAM" quantum="1M"/>
+		<provides> <service name="Timer"/> </provides>
+	</start>
+	<start name="nic_drv">
+		<binary name="} [nic_drv_binary] {"/>
+		<resource name="RAM" quantum="4M"/>
+		<provides><service name="Nic"/></provides>
+	</start>
+	<start name="rtc_drv">
+		<resource name="RAM" quantum="1M"/>
+		<provides><service name="Rtc"/></provides>
+	</start>
+	<start name="} $fb_drv {" caps="200">
+		<resource name="RAM" quantum="32M"/>
+		<provides><service name="Framebuffer"/></provides>
+	</start>
+	<start name="dummy_input_drv">
+		<resource name="RAM" quantum="2M"/>
+		<provides><service name="Input"/></provides>
+	</start>
+	<start name="terminal">
+		<resource name="RAM" quantum="2M"/>
+		<provides><service name="Terminal"/></provides>
+		<route>
+			<service name="ROM" label="config"> <parent label="terminal.config"/> </service>
+			<any-service> <parent/> <any-child/> </any-service>
+		</route>
+	</start>
+	<start name="terminal_log">
+		<resource name="RAM" quantum="1M"/>
+		<provides><service name="LOG"/></provides>
+	</start>
+	<start name="log_core">
+		<resource name="RAM" quantum="10M"/>
+		<config period_ms="2000"/>
+		<route>
+			<service name="ROM" unscoped_label="log_core"> <parent/> </service>
+			<service name="ROM" unscoped_label="ld.lib.so"> <parent/> </service>
+			<service name="ROM" label="log"> <parent label="core_log"/> </service>
+			<service name="LOG"> <child name="terminal_log" label="core_log"/> </service>
+			<any-service> <parent/> <any-child/> </any-service>
+		</route>
+	</start>
+	<start name="mirage" caps="512">
+		<resource name="RAM" quantum="64M"/>
+		<config> <nic/> <rtc/> </config>
+	</start>
+</config>
+}
+
+install_config $config
+
+append boot_modules {
+	dummy_input_drv
+	log_core
+	terminal_log
+	mirage
+	rtc_drv
+	solo5.lib.so
+}
+
+append boot_modules " $fb_drv"
+
+# platform-specific modules
+append_platform_drv_boot_modules
+
+lappend boot_modules [nic_drv_binary]
+
+lappend_if [have_spec gpio] boot_modules [gpio_drv]
+
+build_boot_image $boot_modules
+
+append qemu_args " -net user"
+
+append_if [have_spec x86]     qemu_args " -net nic,model=e1000 "
+append_if [have_spec lan9118] qemu_args " -net nic,model=lan9118 "
+
+run_genode_until forever