diff --git a/repos/hello_gpgpu/run/hello_gpgpu.run b/repos/hello_gpgpu/run/hello_gpgpu.run
index 7446aee476..7b9a4368e7 100644
--- a/repos/hello_gpgpu/run/hello_gpgpu.run
+++ b/repos/hello_gpgpu/run/hello_gpgpu.run
@@ -1,56 +1,83 @@
-#
-# Build
-#
-
+# build config
build { core init gpgpu timer hello_gpgpu }
+# platform config
+set use_acpica_as_acpi_drv 0
+source ${genode_dir}/repos/base/run/platform_drv.inc
+proc platform_drv_policy {} {
+ global use_acpica_as_acpi_drv
+ set policy ""
+
+ append_if $use_acpica_as_acpi_drv policy {
+ }
+
+ append policy {
+ }
+
+ return $policy
+}
+append_platform_drv_build_components
+build $build_components
+
+# boot dir
create_boot_directory
-#
-# Generate config
-#
+# other config
+append config {
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ 2022-07-20 14:30
+
+
+
+}
-install_config {
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- 2022-07-20 14:30
-
-
-
+append_platform_drv_config
+
+append config {
+
+
+
+
}
-#
-# Boot image
-#
+install_config $config
-build_boot_image { core ld.lib.so libc.lib.so vfs.lib.so init gpgpu timer hello_gpgpu }
+# boot modules
+set boot_modules {
+ core ld.lib.so libc.lib.so vfs.lib.so init gpgpu timer hello_gpgpu
+}
+append_platform_drv_boot_modules
+build_boot_image $boot_modules
+# qemu stuff
append qemu_args " -nographic -m 4G"
-
run_genode_until "hello gpgpu completed.*\n" 15