ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-18 21:27:56 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

depot_autopilot: move RTC test to autopilot.list

Browse Source
This commit is contained in:
Martin Stein 2018-11-26 19:43:53 +01:00 committed by Christian Helmuth
parent 538c3a6692
commit 89020bc3c0
3 changed files with 46 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
repos/gems/run/depot_autopilot.run
View File

@ -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 { } {
<parent-provides>
<service name="ROM"/>
<service name="IRQ"/>
<service name="IO_MEM"/>
<service name="IO_PORT"/>
<service name="PD"/>
<service name="RM"/>
@ -470,7 +467,6 @@ proc prepare_to_run_genode { } {
<service name="CPU"/>
<service name="PD"/>
<service name="LOG"/>
<service name="IO_PORT"/>
<service name="RM"/>
<service name="Timer"/>
<service name="TRACE"/>
@ -486,7 +482,6 @@ proc prepare_to_run_genode { } {
<service name="CPU"> <parent/> </service>
<service name="PD"> <parent/> </service>
<service name="LOG"> <parent/> </service>
<service name="IO_PORT"> <parent/> </service>
<service name="Timer"> <parent/> </service>
<service name="RM"> <parent/> </service>
<service name="TRACE"> <parent/> </service>

45
repos/os/run/rtc.run Normal file
View File

@ -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 {
<config prio_levels="2" verbose="yes">
<parent-provides>
<service name="ROM"/>
<service name="IRQ"/>
<service name="IO_MEM"/>
<service name="IO_PORT"/>
<service name="PD"/>
<service name="RM"/>
<service name="CPU"/>
<service name="LOG"/>
</parent-provides>
<default-route>
<any-service> <parent/> <any-child/> </any-service>
</default-route>
<default caps="100"/>
<start name="timer">
<resource name="RAM" quantum="1M"/>
<provides> <service name="Timer"/> </provides>
</start>
<start name="rtc_drv" priority="-1">
<resource name="RAM" quantum="1M"/>
<provides><service name="Rtc"/></provides>
</start>
<start name="test-rtc" priority="-1">
<resource name="RAM" quantum="1M"/>
</start>
</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

1
tool/autopilot.list
View File

@ -42,6 +42,7 @@ nvme
ping
ping_nic_router
platform
rtc
rump_ext2
sd_card_bench
seoul-auto