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"