diff --git a/repos/os/run/bomb.run b/repos/os/run/bomb.run index 20085a6ebb..9cacb0c1d1 100644 --- a/repos/os/run/bomb.run +++ b/repos/os/run/bomb.run @@ -17,6 +17,13 @@ if {[have_include "power_on/qemu"]} { } } +if {[have_spec pistachio]} { + # The bomb test triggers a kernel assertion at kernel/src/api/v4/tcb.h, + # line 727, which remains unfixed since the kernel is no longer developed. + puts "Run script does not support Pistachio" + exit 0 +} + # prevent hitting the socket-descriptor limit on Linux if {[have_spec linux]} { set generations 4 }