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; }