From a788e80feec1cc8f3e94601d4c5e98739f0e58fe Mon Sep 17 00:00:00 2001
From: Michael Mueller <michael.mueller@uos.de>
Date: Mon, 11 Mar 2024 14:49:12 +0100
Subject: [PATCH] base-nova: Enable SSE3

---
 repos/base-nova/src/kernel/nova/target.mk |   2 +-
 repos/mml/run/loopbench.run               | 108 ++++++++++++++++++++++
 2 files changed, 109 insertions(+), 1 deletion(-)
 create mode 100644 repos/mml/run/loopbench.run

diff --git a/repos/base-nova/src/kernel/nova/target.mk b/repos/base-nova/src/kernel/nova/target.mk
index 9ff0f3779b..59233838e4 100644
--- a/repos/base-nova/src/kernel/nova/target.mk
+++ b/repos/base-nova/src/kernel/nova/target.mk
@@ -35,7 +35,7 @@ CC_WARN         += -Wframe-larger-than=104
 CC_OPT          += -mpreferred-stack-boundary=2 -mregparm=3
 else
 ifeq ($(filter-out $(SPECS),64bit),)
-override CC_MARCH = -m64
+override CC_MARCH = -m64 -msse3
 CC_WARN         += -Wframe-larger-than=1024
 CC_OPT          += -mpreferred-stack-boundary=4 -mcmodel=kernel -mno-red-zone
 else
diff --git a/repos/mml/run/loopbench.run b/repos/mml/run/loopbench.run
new file mode 100644
index 0000000000..0186cdb92a
--- /dev/null
+++ b/repos/mml/run/loopbench.run
@@ -0,0 +1,108 @@
+set build_components {
+    core init timer hoitaja app/loopbench app/volatile_cell
+}
+
+source ${genode_dir}/repos/base/run/platform_drv.inc 
+append_platform_drv_build_components
+build $build_components
+
+create_boot_directory
+
+set config {
+<config>
+    <parent-provides>
+        <service name="LOG"/>
+        <service name="PD"/>
+        <service name="CPU"/>
+        <service name="ROM"/>
+        <service name="RAM"/>
+        <service name="IRQ"/>
+        <service name="IO_MEM"/>
+        <service name="IO_PORT"/>
+        <service name="RM"/>
+        <service name="TOPO"/>
+    </parent-provides>
+    <default-route>
+        <any-service><parent/><any-child/></any-service>
+    </default-route>
+    <default caps="200"/>
+    <start name="timer">
+        <resource name="RAM" quantum="1M"/>
+        <provides><service name="Timer"/></provides>
+        <route>
+            <any-service><parent/><any-child/></any-service>
+        </route>
+    </start>
+    <start name="hoitaja" caps="62000">
+        <resource name="RAM" quantum="250G"/>
+        <provides><service name="TASKING"/></provides>
+        <config prio_levels="32">
+            <parent-provides>
+                <service name="LOG"/>
+                <service name="PD"/>
+                <service name="CPU"/>
+                <service name="ROM"/>
+                <service name="RAM"/>
+                <service name="IRQ"/>
+                <service name="IO_MEM"/>
+                <service name="IO_PORT"/>
+                <service name="CAP"/>
+                <service name="RM"/>
+                <service name="TOPO"/>
+                <service name="Timer"/>
+                <service name="TASKING"/>
+            </parent-provides>
+            <default-route>
+                <any-service><parent/><any-child/></any-service>
+            </default-route>
+            <default caps="600"/> 
+            <affinity-space width="31" height="1"/>
+
+}
+
+
+append config {
+            <start name="background">
+                <binary name="volatile_cell"/>
+                <resource name="RAM" quantum="16G"/>
+                <config>
+                    <vfs> <dir name="dev"> 
+                        <log/> 
+                        <inline name="rtc">2022-07-20 14:30</inline> 
+                        </dir>
+                    </vfs> 
+                    <libc stdout="/dev/log" stderr="/dev/log" rtc="/dev/rtc"/>
+                </config>
+            </start>
+            <start name="loopbench1">
+                <binary name="loopbench"/>
+                <resource name="RAM" quantum="32G"/>
+                <config>
+                    <vfs> <dir name="dev"> 
+                        <log/> 
+                        <inline name="rtc">2022-07-20 14:30</inline> 
+                        </dir>
+                    </vfs> 
+                    <libc stdout="/dev/log" stderr="/dev/log" rtc="/dev/rtc"/>
+                </config>
+            </start>
+        </config>
+        <route>
+            <service name="Timer"> <child name="timer"/> </service>
+            <any-service><parent/><any-child/></any-service>
+        </route>
+    </start>
+</config>
+}
+
+install_config $config
+
+set boot_modules { 
+    core init timer vfs.lib.so libm.lib.so libc.lib.so stdcxx.lib.so ld.lib.so hoitaja loopbench volatile_cell
+}
+
+append_platform_drv_boot_modules
+build_boot_image $boot_modules
+append qemu_args "-nographic"
+
+run_genode_until forever
\ No newline at end of file