From 561a2ddbf94e0421a83922ab758673545d98421f Mon Sep 17 00:00:00 2001
From: Michael Mueller <michael.mueller@uos.de>
Date: Mon, 27 Mar 2023 17:19:49 +0200
Subject: [PATCH] blinktree: Added scenario from FOSDEM talk.

---
 repos/mml/run/livedemo.run | 116 +++++++++++++++++++++++++++++++++++++
 1 file changed, 116 insertions(+)
 create mode 100644 repos/mml/run/livedemo.run

diff --git a/repos/mml/run/livedemo.run b/repos/mml/run/livedemo.run
new file mode 100644
index 0000000000..5e0aa96dd9
--- /dev/null
+++ b/repos/mml/run/livedemo.run
@@ -0,0 +1,116 @@
+set build_components {
+    core init timer app/blinktree
+}
+
+build $build_components
+
+create_boot_directory
+
+set config {
+    <config>
+        <default caps="200"/>
+        <default-route>
+            <any-service><parent/><any-child/></any-service>
+        </default-route>
+
+        <parent-provides>
+            <service name="PD"/>
+            <service name="CPU"/>
+            <service name="RAM"/>
+            <service name="ROM"/>
+            <service name="RM"/>
+            <service name="LOG"/>
+            <service name="TOPO"/>
+        </parent-provides>
+
+        <affinity-space width="32" height="1"/>
+
+        <start name="timer">
+            <provides><service name="Timer"/></provides>
+            <resource name="RAM" quantum="8M"/>
+            <route>
+                <any-service><parent/><any-child/></any-service>
+            </route>
+        </start>
+
+        <start name="blinktree1">
+            <binary name="blinktree"/>
+            <resource name="RAM" quantum="80G"/>
+            <affinity xpos="1" ypos="0" width="31" height="1"/>
+            <route>
+                <service name="Timer"><child name="timer"/></service>
+                <any-service><parent/><any-child/></any-service>
+            </route>
+            <config>
+            <vfs>
+                    <dir name="dev"> 
+                        <log/> 
+                        <inline name="rtc">2022-07-20 14:30</inline> 
+                    </dir>
+                    <dir name="workloads">
+                        <rom name="fill_randint_workloada"/>
+                        <rom name="mixed_randint_workloada"/>
+                    </dir>
+                </vfs>
+                <libc stdout="/dev/log" stderr="/dev/log" rtc="/dev/rtc"/>
+            </config>
+        </start>
+        <start name="blinktree2">
+            <binary name="blinktree"/>
+            <resource name="RAM" quantum="80G"/>
+            <affinity xpos="1" ypos="0" width="31" height="1"/>
+            <route>
+                <service name="Timer"><child name="timer"/></service>
+                <any-service><parent/><any-child/></any-service>
+            </route>
+            <config>
+            <vfs>
+                    <dir name="dev"> 
+                        <log/> 
+                        <inline name="rtc">2022-07-20 14:30</inline> 
+                    </dir>
+                    <dir name="workloads">
+                        <rom name="fill_randint_workloada"/>
+                        <rom name="mixed_randint_workloada"/>
+                    </dir>
+                </vfs>
+                <libc stdout="/dev/log" stderr="/dev/log" rtc="/dev/rtc"/>
+            </config>
+        </start>
+        <start name="blinktree3">
+            <binary name="blinktree"/>
+            <resource name="RAM" quantum="80G"/>
+            <affinity xpos="1" ypos="0" width="31" height="1"/>
+            <route>
+                <service name="Timer"><child name="timer"/></service>
+                <any-service><parent/><any-child/></any-service>
+            </route>
+            <config>
+            <vfs>
+                    <dir name="dev"> 
+                        <log/> 
+                        <inline name="rtc">2022-07-20 14:30</inline> 
+                    </dir>
+                    <dir name="workloads">
+                        <rom name="fill_randint_workloada"/>
+                        <rom name="mixed_randint_workloada"/>
+                    </dir>
+                </vfs>
+                <libc stdout="/dev/log" stderr="/dev/log" rtc="/dev/rtc"/>
+            </config>
+        </start>
+    </config>    
+             
+
+             
+}
+
+install_config $config
+
+set boot_modules { 
+    core init timer vfs.lib.so ld.lib.so libm.lib.so libc.lib.so stdcxx.lib.so posix.lib.so blinktree fill_randint_workloada mixed_randint_workloada
+}
+
+build_boot_image $boot_modules
+append qemu_args "-nographic"
+run_genode_until forever
\ No newline at end of file