diff --git a/repos/base/src/base/cxx/misc.cc b/repos/base/src/base/cxx/misc.cc
index 599663d146..c1c6433990 100644
--- a/repos/base/src/base/cxx/misc.cc
+++ b/repos/base/src/base/cxx/misc.cc
@@ -15,6 +15,7 @@
#include
#include
#include
+#include
#include
using namespace Genode;
@@ -102,7 +103,13 @@ extern "C" __attribute__((weak)) void raise()
extern "C" void *abort(void)
{
- PDBG("abort called");
+ Genode::Thread_base * myself = Genode::Thread_base::myself();
+ char thread_name[64] = { "unknown" };
+
+ if (myself)
+ myself->name(thread_name, sizeof(thread_name));
+ PWRN("abort called - thread: '%s'", thread_name);
+
sleep_forever();
return 0;
}