diff --git a/repos/gems/run/depot_autopilot.run b/repos/gems/run/depot_autopilot.run index c73ad643cc..45b0e86527 100644 --- a/repos/gems/run/depot_autopilot.run +++ b/repos/gems/run/depot_autopilot.run @@ -88,7 +88,6 @@ set avail_test_pkgs { test-rm_nested test-rom_blk test-rom_filter - test-rtc test-rust test-sequence test-signal @@ -140,7 +139,6 @@ set skip_test_pkg(test-slab) [expr [get_cmd_switch --autopilot] && [h set skip_test_pkg(test-rm_nested) [expr [have_spec linux]] set skip_test_pkg(test-fault_detection) [expr [have_spec pistachio] || [have_spec fiasco]] set skip_test_pkg(test-fs_packet) [expr [get_cmd_switch --autopilot] && [have_include "power_on/qemu"]] -set skip_test_pkg(test-rtc) [expr [have_spec linux] || ![have_spec x86]] set skip_test_pkg(test-rm_fault) [expr [have_spec linux] || ![non_executable_supported]] set skip_test_pkg(test-rm_fault_no_nox) [expr [have_spec linux] || !$skip_test_pkg(test-rm_fault)] set skip_test_pkg(test-lx_block) [expr ![have_spec linux]] @@ -399,7 +397,6 @@ proc prepare_to_run_genode { } { - @@ -470,7 +467,6 @@ proc prepare_to_run_genode { } { - @@ -486,7 +482,6 @@ proc prepare_to_run_genode { } { - diff --git a/repos/os/run/rtc.run b/repos/os/run/rtc.run new file mode 100644 index 0000000000..c4d53388f4 --- /dev/null +++ b/repos/os/run/rtc.run @@ -0,0 +1,45 @@ +# RTC test + +if {(![have_spec x86] || [have_spec linux])} { + puts "Platform is unsupported." + exit 0 +} + +build { core init drivers/rtc drivers/timer test/rtc } + +create_boot_directory + +install_config { + + + + + + + + + + + + + + + + + + + + + + + + + + +} + +build_boot_image { core ld.lib.so init timer rtc_drv test-rtc } + +append qemu_args " -nographic " + +run_genode_until ".*--- RTC test finished ---.*\n" 30 diff --git a/tool/autopilot.list b/tool/autopilot.list index 0fd646dae4..95b5acb8d7 100644 --- a/tool/autopilot.list +++ b/tool/autopilot.list @@ -42,6 +42,7 @@ nvme ping ping_nic_router platform +rtc rump_ext2 sd_card_bench seoul-auto