tree 7b0c16c3c96e99e8666a791fdc850e2155d137bd
parent ff92c8783fcaf3fdbece411985df2273793646ad
author Sam Leffler <sleffler@google.com> 1674079605 +0000
committer Sam Leffler <sleffler@google.com> 1674085170 +0000

sel4test: disable nested fault test on raspi

The nested fault test is flaky on qemu when emulating the bcm2837.

Bug: 264478941
Change-Id: Id10b11ac76d06bcba897f46ccd072c33ec76a0db