From fa1e794c4dac4ed4ed550deee384b57cb58a3e91 Mon Sep 17 00:00:00 2001
From: Michael Mueller <michael.mueller@uos.de>
Date: Mon, 7 Aug 2023 17:48:38 +0200
Subject: [PATCH] Example scenario for PMC usage.

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

diff --git a/repos/mml/run/pfm_test.run b/repos/mml/run/pfm_test.run
new file mode 100644
index 0000000000..b82a4adedb
--- /dev/null
+++ b/repos/mml/run/pfm_test.run
@@ -0,0 +1,68 @@
+set build_components {
+    core init timer app/pfm_test
+}
+
+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="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="SIGNAL"/>
+            <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>
+}
+
+append config {
+        <start name="pfm_test">
+            <resource name="RAM" quantum="10M"/>
+            <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>
+            <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 ld.lib.so posix.lib.so libc.lib.so libm.lib.so stdcxx.lib.so pfm_test
+}
+
+append_platform_drv_boot_modules
+
+build_boot_image $boot_modules
+append qemu_args "-nographic "
+
+run_genode_until forever
\ No newline at end of file