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

Blacklist failsafe.run test on L4/Fiasco

Browse Source
This commit is contained in:
Norman Feske 2013-05-08 09:38:32 +02:00
parent 4715ad18b0
commit 0b660eb033
1 changed files with 11 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
os/run/failsafe.run
View File

@ -8,6 +8,17 @@ if {[have_spec pistachio]} {
puts "Pistachio is unsupported (see https://github.com/genodelabs/genode/issues/16)"
exit 0
}
if {[have_spec fiasco]} {
puts "Fiasco is unsupported (see run script for details)"
#
# The L4/Fiasco kernel has known problems with the destruction of threads
# that are currently participating in IPC (the "red-thread issue"). The
# failsafe test reliably triggers the problem. Since the development of
# the kernel has been stopped, however, this issue is expected to remain
# unresolved. Newer kernels such as Fiasco.OC do not have the problem.
#
exit 0
}
#
# Build