nova: remove nova_die

Fixes #5443
2025-04-08 03:45:24 +00:00 · 2025-02-05 12:58:17 +01:00 · 2025-02-05 12:58:17 +01:00 · 0db17e7048
commit 0db17e7048
parent daf2c2940c
2 changed files with 1 additions and 7 deletions
--- a/repos/base-nova/include/nova/util.h
+++ b/repos/base-nova/include/nova/util.h
@ -17,12 +17,6 @@
 #include <base/log.h>
 #include <base/thread.h>

-__attribute__((always_inline))
-inline void nova_die()
-{
-	asm volatile ("ud2a");
-}
-

 inline void request_event_portal(Genode::addr_t const cap,
                                 Genode::addr_t const sel, Genode::addr_t event)
--- a/repos/base-nova/src/lib/base/thread_start.cc
+++ b/repos/base-nova/src/lib/base/thread_start.cc
@ -66,7 +66,7 @@ void Thread::_thread_start()
 			      "died because of an uncaught exception");
 		} catch (...) {
 			/* die in a noisy way */
-			nova_die();
+			*(unsigned *)0 = 0xdead;
 		}

 		throw;