From f023c950a56a0c4bc0085b11dbbe8005a3a2438f Mon Sep 17 00:00:00 2001 From: Alexander Boettcher Date: Thu, 6 Feb 2025 08:46:24 +0100 Subject: [PATCH] vbox5: remove nova_die assertion Issue #5443 --- repos/ports/src/virtualbox5/spec/nova/sup.cc | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/repos/ports/src/virtualbox5/spec/nova/sup.cc b/repos/ports/src/virtualbox5/spec/nova/sup.cc index d02d453b4ce..aaa7b98bd07 100644 --- a/repos/ports/src/virtualbox5/spec/nova/sup.cc +++ b/repos/ports/src/virtualbox5/spec/nova/sup.cc @@ -737,9 +737,7 @@ void genode_update_tsc(void (*update_func)(void), Genode::uint64_t update_us) Trace::timestamp() + ticks_min_sleep); /* block until timeout fires or it gets canceled */ - Genode::uint8_t res = sm_ctrl(sem, SEMAPHORE_DOWN, wakeup_absolute); - if (res != Nova::NOVA_OK && res != Nova::NOVA_TIMEOUT) - nova_die(); + sm_ctrl(sem, SEMAPHORE_DOWN, wakeup_absolute); } }