Index: libcfa/src/concurrency/kernel/startup.cfa
===================================================================
--- libcfa/src/concurrency/kernel/startup.cfa	(revision 24d6572fc571b2a894d56a9335edd57899c448c0)
+++ libcfa/src/concurrency/kernel/startup.cfa	(revision d10e39157c237e91a59aa8b40779ac7dd9cd9491)
@@ -528,4 +528,5 @@
 	this.name = name;
 	this.cltr = &_cltr;
+    __atomic_add_fetch( &_cltr.procs.constructed, 1u, __ATOMIC_RELAXED );
 	this.rdq.its = 0;
 	this.rdq.itr = 0;
@@ -595,4 +596,6 @@
 	__cfadbg_print_safe(runtime_core, "Kernel : core %p signaling termination\n", &this);
 
+    __atomic_sub_fetch( &this.cltr->procs.constructed, 1u, __ATOMIC_RELAXED );
+
 	__atomic_store_n(&do_terminate, true, __ATOMIC_RELAXED);
 	__disable_interrupts_checked();
@@ -615,4 +618,5 @@
 	this.fdw   = 0p;
 	this.idle  = 0;
+    this.constructed = 0;
 	this.total = 0;
 }