ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-01-18 10:46:25 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

cpu_balancer.run: disable testing on foc

Browse Source 
Due to some kernel issue the test will not finish, see #4357

Fixes #4357
This commit is contained in:
Alexander Boettcher 2022-01-05 14:31:19 +01:00 committed by Christian Helmuth
parent f1b46c3205
commit 4ac553e5ff
1 changed files with 2 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
repos/os/run/cpu_balancer.run
View File

@ -4,12 +4,8 @@ if {![have_include "power_on/qemu"]} {
puts "Run script is not supported on this platform"
exit 0
}
if {[have_spec foc] && ([have_board pbxa9] || [have_board rpi3])} {
# foc kernel does detect solely 1 CPU */
puts "Run script is not supported on this platform"
exit 0
}
if {![have_spec nova] && ![have_spec foc] && ![have_spec sel4]} {
# foc in principle supports migration, but due to bug #4357 foc is not tested
if {![have_spec nova] && ![have_spec sel4]} {
puts "Run script is not supported on this platform"
exit 0
}