diff --git a/repos/base-hw/src/core/spec/x86/kernel/thread.cc b/repos/base-hw/src/core/spec/x86/kernel/thread.cc
index 6ef862dab..8182e8f30 100644
--- a/repos/base-hw/src/core/spec/x86/kernel/thread.cc
+++ b/repos/base-hw/src/core/spec/x86/kernel/thread.cc
@@ -42,7 +42,8 @@ void Thread::exception(unsigned const cpu)
 		_interrupt(cpu);
 		return;
 	} else {
-		PWRN("unknown exception 0x%lx", trapno);
+		PWRN("%s -> %s: triggered an unknown exception %lu with error code %lu",
+		     pd_label(), label(), trapno, errcode);
 		_stop();
 		return;
 	}