mirror of
https://github.com/genodelabs/genode.git
synced 2025-04-08 20:05:54 +00:00
parent
53018515a9
commit
280ca8982b
20
repos/os/run/assert_nic.inc
Normal file
20
repos/os/run/assert_nic.inc
Normal file
@ -0,0 +1,20 @@
|
||||
#
|
||||
# there are no nic driver packages for these targets
|
||||
#
|
||||
if {[have_board rpi3] ||
|
||||
[have_board imx53_qsb_tz]} {
|
||||
|
||||
puts "Run script is not supported on this platform."
|
||||
exit 0
|
||||
}
|
||||
|
||||
#
|
||||
# these targets would require extra setup on the autopilot which is not desired
|
||||
#
|
||||
if {[get_cmd_switch --autopilot] && ([have_spec linux] ||
|
||||
[have_board zynq_qemu] ||
|
||||
[have_board virt_qemu_riscv])} {
|
||||
|
||||
puts "Autopilot mode is not supported on this platform."
|
||||
exit 0
|
||||
}
|
10
repos/os/run/assert_qemu_nic.inc
Normal file
10
repos/os/run/assert_qemu_nic.inc
Normal file
@ -0,0 +1,10 @@
|
||||
source ${genode_dir}/repos/os/run/assert_nic.inc
|
||||
|
||||
#
|
||||
# the test should be run isolated as it would disturb normal network operation
|
||||
#
|
||||
if {![have_include power_on/qemu]} {
|
||||
|
||||
puts "Run script is not supported on this platform."
|
||||
exit 0
|
||||
}
|
@ -1,13 +1,4 @@
|
||||
if {[have_spec foc] || [have_spec linux] || [have_board rpi3] ||
|
||||
[have_board imx53_qsb_tz]} {
|
||||
puts "Run script is not supported on this platform."
|
||||
exit 0
|
||||
}
|
||||
|
||||
if {[get_cmd_switch --autopilot] && [have_board virt_qemu_riscv]} {
|
||||
puts "Autopilot mode is not supported on this platform."
|
||||
exit 0
|
||||
}
|
||||
source ${genode_dir}/repos/os/run/assert_nic.inc
|
||||
|
||||
create_boot_directory
|
||||
|
||||
|
@ -1,14 +1,4 @@
|
||||
if {![have_include power_on/qemu] || [have_spec foc] || [have_spec linux] ||
|
||||
[have_board rpi3] || [have_board imx53_qsb_tz]} {
|
||||
|
||||
puts "Run script is not supported on this platform."
|
||||
exit 0
|
||||
}
|
||||
|
||||
if {[get_cmd_switch --autopilot] && [have_board virt_qemu_riscv]} {
|
||||
puts "Autopilot mode is not supported on this platform."
|
||||
exit 0
|
||||
}
|
||||
source ${genode_dir}/repos/os/run/assert_qemu_nic.inc
|
||||
|
||||
create_boot_directory
|
||||
|
||||
|
@ -1,18 +1,4 @@
|
||||
if {![have_include power_on/qemu] ||
|
||||
[have_spec foc] ||
|
||||
[have_board rpi3] ||
|
||||
[have_board imx53_qsb_tz]} {
|
||||
|
||||
puts "Run script is not supported on this platform."
|
||||
exit 0
|
||||
}
|
||||
|
||||
if {[get_cmd_switch --autopilot] && ([have_board virt_qemu_riscv] ||
|
||||
[have_board zynq_qemu])} {
|
||||
|
||||
puts "Autopilot mode is not supported on this platform."
|
||||
exit 0
|
||||
}
|
||||
source ${genode_dir}/repos/os/run/assert_qemu_nic.inc
|
||||
|
||||
proc num_ping_rounds { } {
|
||||
if {[have_spec sel4] && [have_spec x86]} {
|
||||
|
@ -1,20 +1,4 @@
|
||||
#
|
||||
# there are no nic driver packages for rpi3 and imx53 tz
|
||||
#
|
||||
if {[have_board rpi3] || [have_board imx53_qsb_tz]} {
|
||||
puts "Run script is not supported on this platform."
|
||||
exit 0
|
||||
}
|
||||
|
||||
#
|
||||
# lx & riscv would require extra setup on the test machine which is not desired
|
||||
#
|
||||
if {[get_cmd_switch --autopilot] && ([have_spec linux] ||
|
||||
[have_board virt_qemu_riscv])} {
|
||||
|
||||
puts "Autopilot mode is not supported on this platform."
|
||||
exit 0
|
||||
}
|
||||
source ${genode_dir}/repos/os/run/assert_nic.inc
|
||||
|
||||
proc test_timeout { } {
|
||||
if {[have_spec sel4] && [have_board pc]} { return 60 }
|
||||
|
@ -32,16 +32,7 @@
|
||||
# ! sudo dhclient -v eth0
|
||||
#
|
||||
|
||||
if {[have_spec foc] || [have_board rpi3] || [have_board imx53_qsb_tz]} {
|
||||
puts "Run script is not supported on this platform."
|
||||
exit 0
|
||||
}
|
||||
|
||||
if {[get_cmd_switch --autopilot] && ([have_spec linux] ||
|
||||
[have_board virt_qemu_riscv])} {
|
||||
puts "Autopilot mode is not supported on this platform."
|
||||
exit 0
|
||||
}
|
||||
source ${genode_dir}/repos/os/run/assert_nic.inc
|
||||
|
||||
set on_linux_with_dst_ip ""
|
||||
catch {set on_linux_with_dst_ip $::env(ON_LINUX_WITH_DST_IP)}
|
||||
|
@ -1,13 +1,4 @@
|
||||
if {[have_spec foc] || [have_spec linux] || [have_board rpi3] ||
|
||||
[have_board imx53_qsb_tz]} {
|
||||
puts "Run script is not supported on this platform."
|
||||
exit 0
|
||||
}
|
||||
|
||||
if {[get_cmd_switch --autopilot] && [have_board virt_qemu_riscv]} {
|
||||
puts "Autopilot mode is not supported on this platform."
|
||||
exit 0
|
||||
}
|
||||
source ${genode_dir}/repos/os/run/assert_nic.inc
|
||||
|
||||
set on_hardware [expr ![have_include power_on/qemu]]
|
||||
|
||||
|
Loading…
x
Reference in New Issue
Block a user