diff --git a/repos/os/run/smbios_decoder.run b/repos/os/run/smbios_decoder.run
index 7672758bf0..2a7af2a374 100644
--- a/repos/os/run/smbios_decoder.run
+++ b/repos/os/run/smbios_decoder.run
@@ -5,17 +5,10 @@ if {![have_board pc] || [expr ![have_spec nova] && ![have_spec hw]] } {
exit 0
}
-set build_components { app/smbios_decoder core init timer server/report_rom }
-
-source ${genode_dir}/repos/base/run/platform_drv.inc
-
-append_platform_drv_build_components
-
-build $build_components
-
+build { app/smbios_decoder core init timer drivers/acpi server/report_rom }
create_boot_directory
-append config {
+install_config {
@@ -31,17 +24,34 @@ append config {
- }
+
-append_platform_drv_config
-
-append config {
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -62,18 +72,12 @@ append config {
}
-install_config $config
-
-set boot_modules {
- report_rom
+build_boot_image {
+ report_rom acpi_drv
core init timer ld.lib.so
smbios_decoder
}
-append_platform_drv_boot_modules
-
-build_boot_image $boot_modules
-
append qemu_args " -nographic"
run_genode_until "report_rom] .*?report_rom] .*?\n" 20