From 0b660eb0331743c4d2892160ff3a32f1d7b7325d Mon Sep 17 00:00:00 2001 From: Norman Feske Date: Wed, 8 May 2013 09:38:32 +0200 Subject: [PATCH] Blacklist failsafe.run test on L4/Fiasco --- os/run/failsafe.run | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/os/run/failsafe.run b/os/run/failsafe.run index ab833916b..fb3784b5f 100644 --- a/os/run/failsafe.run +++ b/os/run/failsafe.run @@ -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