# RTC test assert_spec x86 create_boot_directory set depot_pkgs "[depot_user]/src/[base_src] [depot_user]/src/init [depot_user]/src/report_rom" if [have_spec linux] { lappend depot_pkgs [depot_user]/src/linux_rtc_drv } else { lappend depot_pkgs [depot_user]/src/rtc_drv } import_from_depot $depot_pkgs # RTC setting tested on Qemu only set test_update [have_include power_on/qemu] set config { } append_if $test_update config { } append_if [have_spec linux] config { } append_if [expr ![have_spec linux]] config { } append config { } append_if $test_update config { } append config { } append_if $test_update config { } append config { } install_config $config set build_components { test/rtc } set boot_modules { test-rtc } build $build_components build_boot_image $boot_modules append qemu_args " -nographic " run_genode_until ".*--- RTC test finished ---.*\n" 60