From d0d08c68aa9dfca094b9bb3c950a7679cd5133d7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Michael=20M=C3=BCller?= <michael.mueller@uos.de>
Date: Wed, 20 Jul 2022 15:06:51 +0200
Subject: [PATCH] Added vfs-plugins for libc to hello_mxtask.run.

---
 repos/mml/run/hello_mxtask.run | 25 ++++++++++++++++++++++---
 1 file changed, 22 insertions(+), 3 deletions(-)

diff --git a/repos/mml/run/hello_mxtask.run b/repos/mml/run/hello_mxtask.run
index 1576c4779e..49cb88c21a 100644
--- a/repos/mml/run/hello_mxtask.run
+++ b/repos/mml/run/hello_mxtask.run
@@ -1,8 +1,15 @@
-build "core init timer app/hello_mxtask"
+set build_components {
+    core init timer app/hello_mxtask
+}
+
+source ${genode_dir}/repos/base/run/platform_drv.inc 
+append_platform_drv_build_components
+build $build_components
+
 create_boot_directory
 
 
-install_config {
+set config {
     <config>
         <parent-provides>
             <service name="LOG"/>
@@ -26,6 +33,11 @@ install_config {
                 <any-service><parent/><any-child/></any-service>
             </route>
         </start>
+}
+
+append_platform_drv_config
+
+append config {
         <start name="hello_mxtask">
             <resource name="RAM" quantum="8000M"/>
             <route>
@@ -33,13 +45,20 @@ install_config {
                 <any-service> <parent/> <any-child/> </any-service>
             </route>
             <config>
-                <libc stdout="/dev/log" stderr="/dev/log"/>
+                <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>
 }
+
+install_config $config
+
 set boot_modules { 
     core init timer vfs.lib.so ld.lib.so libm.lib.so libc.lib.so stdcxx.lib.so hello_mxtask
 }
+
+append_platform_drv_boot_modules
+
 build_boot_image $boot_modules
 append qemu_args "-nographic -m 64"