diff --git a/repos/base-nova/src/test/platform/main.cc b/repos/base-nova/src/test/platform/main.cc index 1965929d1..f20ca4471 100644 --- a/repos/base-nova/src/test/platform/main.cc +++ b/repos/base-nova/src/test/platform/main.cc @@ -706,8 +706,9 @@ Main::Main(Env &env) : env(env) /* test translate together with special revoke */ test_translate(env); - /* test SMP delegate/revoke */ - test_delegate_revoke_smp(env); + /* test SMP delegate/revoke - skip it on Qemu which takes too long */ + if (check_pat) + test_delegate_revoke_smp(env); /** * Test to provoke out of memory during capability transfer of