From c33e8cae4a80cdac29b4fd4f4248e9d245f16802 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Michael=20M=C3=BCller?= <michael.mueller@uos.de>
Date: Wed, 20 Jul 2022 14:19:27 +0200
Subject: [PATCH] Updated config for posix_playground.

---
 repos/mml/run/posix_playground.run | 23 +++++++++++++++++++++--
 1 file changed, 21 insertions(+), 2 deletions(-)

diff --git a/repos/mml/run/posix_playground.run b/repos/mml/run/posix_playground.run
index 78f5bca715..dc1a22cc31 100644
--- a/repos/mml/run/posix_playground.run
+++ b/repos/mml/run/posix_playground.run
@@ -1,7 +1,15 @@
-build "core init timer app/posix_playground"
+set build_components {
+    core init timer app/posix_playground
+}
+
+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"/>
@@ -28,8 +36,15 @@ install_config {
                 <any-service><parent/><any-child/></any-service>
             </route>
         </start>
+}
+
+append config {
         <start name="posix_playground">
             <resource name="RAM" quantum="10M"/>
+            <config>
+                <vfs> <dir name="dev"> <log/> </dir> </vfs>
+                <libc stdout="/dev/log"/>
+            </config>
             <route>
                 <service name="Timer"><child name="timer"/></service>
                 <any-service><parent/><any-child/></any-service>
@@ -38,9 +53,13 @@ install_config {
     </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 posix_playground
 }
 
+append_platform_drv_boot_modules
+
 build_boot_image $boot_modules
 append qemu_args "-nographic -m 64"
\ No newline at end of file