From 98b545d136f4667ae619d64f6ec7f80fe204c8d3 Mon Sep 17 00:00:00 2001
From: Michael Mueller <michael.mueller@uos.de>
Date: Thu, 18 Sep 2025 16:18:32 +0200
Subject: [PATCH] base-tukija: Print name of PD for which create_ec failed.

---
 repos/base-tukija/src/core/platform_thread.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/base-tukija/src/core/platform_thread.cc b/repos/base-tukija/src/core/platform_thread.cc
index 6473928b3a..0102a6cb03 100644
--- a/repos/base-tukija/src/core/platform_thread.cc
+++ b/repos/base-tukija/src/core/platform_thread.cc
@@ -194,7 +194,7 @@ void Platform_thread::start(void *ip, void *sp)
 	                        pd_utcb, 0, _sel_exc_base,
 	                        THREAD_GLOBAL);
 	if (res != NOVA_OK) {
-		error("create_ec returned ", res);
+		error("create_ec returned ", res, " for ", _pd.name());
 		return;
 	}