diff --git a/repos/pc/run/driver_time.run b/repos/pc/run/driver_time.run
index edd4ad863b..f3b439615c 100644
--- a/repos/pc/run/driver_time.run
+++ b/repos/pc/run/driver_time.run
@@ -11,30 +11,16 @@ set use_top 0
 
 set build_components {
 	core init timer
+	drivers/platform
 	test/driver_time
 }
 
 
 append_if $use_top build_components { app/top }
-
-source ${genode_dir}/repos/base/run/platform_drv.inc
-append_platform_drv_build_components
-
 build $build_components
 
 create_boot_directory
 
-# override default platform driver policy
-proc platform_drv_policy {} {
-	return {
-			<policy label_prefix="test-driver_time"> <device name="PS2"/> </policy>
-	}
-}
-
-#
-# Generate config
-#
-
 append config {
 <config verbose="yes" prio_levels="4">
 	<parent-provides>
@@ -58,12 +44,18 @@ append config {
 		<provides><service name="Timer"/></provides>
 	</start>
 
+	<start name="platform_drv">
+		<resource name="RAM" quantum="1M"/>
+		<provides><service name="Platform"/></provides>
+		<config>
+			<policy label="test-driver_time -> "> <device name="ps2"/> </policy>
+		</config>
+	</start>
+
 	<start name="test-driver_time" priority="-1">
 		<resource name="RAM" quantum="2M"/>
 	</start>}
 
-append_platform_drv_config
-
 append_if $use_top config {
 	<start name="top">
 		<resource name="RAM" quantum="2M"/>
@@ -79,16 +71,15 @@ install_config $config
 # Boot modules
 #
 
+file copy [select_from_repositories board/[board]/devices] [run_dir]/genode/devices
+
 # generic modules
 set boot_modules {
-	core ld.lib.so init timer
+	core ld.lib.so init timer platform_drv
 	test-driver_time
 }
 
 append_if $use_top boot_modules { top }
-
-append_platform_drv_boot_modules
-
 build_boot_image $boot_modules
 
 append qemu_args "-nographic "