Index: src/libcfa/concurrency/kernel.c
===================================================================
--- src/libcfa/concurrency/kernel.c	(revision 2701c913ea265aaa5daab981db74b2e6ef39b237)
+++ src/libcfa/concurrency/kernel.c	(revision c9b3a41837b8fea7996975a412426dc2a119d45f)
@@ -171,5 +171,8 @@
 		__cfaabi_dbg_print_safe("Kernel : core %p signaling termination\n", &this);
 		terminate(&this);
+		verify(this.do_terminate);
+		verify(this_processor != &this);
 		P( terminated );
+		verify(this_processor != &this);
 		pthread_join( kernel_thread, NULL );
 	}