nova: remove nova_die

Fixes genodelabs#5443
alex-ab · Feb 5, 2025 · 97f64ba · 97f64ba
1 parent 53f61a0
commit 97f64ba
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 7 deletions.
diff --git 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)

diff --git 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;