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 7656a376d4..98e2375d28 100644
--- a/repos/base-hw/src/core/spec/x86/kernel/thread.cc
+++ b/repos/base-hw/src/core/spec/x86/kernel/thread.cc
@@ -48,8 +48,8 @@ void Thread::exception(unsigned const cpu)
 		_interrupt(cpu);
 		return;
 	}
-	PWRN("%s -> %s: triggered unknown exception %lu with error code %lu",
-	     pd_label(), label(), trapno, errcode);
+	PWRN("%s -> %s: triggered unknown exception %lu with error code %lu"
+		 " at ip=%p", pd_label(), label(), trapno, errcode, (void*)ip);
 	_stop();
 }