assert_spec acpi if { ![have_spec hw] && ![have_spec nova] && ![have_spec sel4] } { puts "Platform is unsupported." exit 0 } set build_components { core init drivers/input drivers/timer server/acpi_input server/dynamic_rom server/input_merger server/report_rom app/acpica test/input } source ${genode_dir}/repos/base/run/platform_drv.inc # override default platform driver policy proc platform_drv_policy {} { return { } } # add routing information to dynamically generate change of 'system' ROM proc platform_drv_add_routing {} { return { } } # override default config to react on 'system' ROM changes for reset proc platform_drv_config_config {} { return { } } append_platform_drv_build_components build $build_components create_boot_directory set config { } append config { } append config { } append config { } append config { } append config { } append_platform_drv_config append config { } install_config $config set boot_modules { core init ld.lib.so timer ps2_drv input_merger report_rom dynamic_rom acpica acpi_input test-input } append_platform_drv_boot_modules build_boot_image $boot_modules append qemu_args "-nographic " run_genode_until {\[init -\> acpica\].*SCI IRQ:.*\n} 30