Updated config for posix_playground.

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"